Member predicate UnboundGenericInterface::getAConstructedGeneric

Gets a bound/constructed version of this unbound generic type. This includes not only closed constructed types such as G<int>, but also open constructed types such as the G<T> in class Other<T> { G<T> g; }. Note that such a type is distinct from the G<T> used in the class definition, since in G<T> g; the T will be the actual type parameter used for the Other that contains g, whereas in class G<T> { ... } the T is a formal type parameter of G.