Member predicate Impl::Type::getADerivedType

Gets a type derived from this type. Expands type aliases, for example in the following code, B derives from type A.

typealias A_alias = A

class B : A_alias {}