Member predicate TypeNameBindingNode::isSanitizingPrimitiveType
Holds if this refers to a type that is considered untaintable (if actually enforced at runtime).
Specifically, the types number, boolean, null, undefined, void, never, as well as literal types ("foo")
and enums and enum members have this property.
predicate isSanitizingPrimitiveType()