Member predicate InstanceOfExpr::getCheckedType
Gets the type this instanceof
expression checks for.
For a match against a record pattern, this is the type of the outermost record type, and only holds if
the record pattern matches that type unconditionally, i.e. it does not restrict field types more tightly
than the fields’ declared types and therefore match a subset of rpe.getType()
.