This is generally about overriding, right? If so, I think we should use the logic from `ExecutableElement#overrides()` in order to properly take type parameters into account.