Member predicate Member::Virtualizable::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.

Virtualizable getImplementee(ValueOrRefType t)