Member predicate InstanceOfExpr::getSyntacticCheckedType

Gets the type this instanceof expression checks for.

For a match against a record pattern, this is the type of the outermost record type. Note that because the record match might additionally constrain field or sub-record fields to have a more specific type, and so while if the instanceof test passes we know that this.getExpr() has this type, if it fails we do not know that it doesn’t.