Member predicate TypeNameBindingNode::hasUnderlyingType

Holds if this type refers to the given type from the global scope, after unfolding unions and intersections, and following subtype relations.

For example:

var x: Document; // hasUnderlyingType("Document")
var x: Document | null; // hasUnderlyingType("Document")
var x: Document & { prop: string }; // hasUnderlyingType("Document")

interface CustomSubtype extends Document {}

var x: CustomSubtype; // hasUnderlyingType("Document")