Member predicate TypeAnnotation::hasUnderlyingType

Holds if this is a reference to the type with qualified name globalName relative to the global scope, or is declared as a subtype thereof, or is a union or intersection containing such a type.