Member predicate Overridable :: getImplementee
Gets the interface member that is immediately implemented by this member, if any.
The type t is a type that implements the interface type in which
the result is declared, in such a way that this member is the
implementation of the result.
Example:
interface I { void M(); }
class A { public void M() { } }
class B : A, I { }
class C : A, I { new public void M() }
In the example above, the following (and nothing else) holds:
A.M.getImplementee(B) = I.M and
C.M.getImplementee(C) = I.M.