Member predicate Generated::ExistentialType::getImmediateConstraint

Gets the constraint of this existential type.

This includes nodes from the “hidden” AST. It can be overridden in subclasses to change the behavior of both the Immediate and non-Immediate versions.