Member predicate RecordPatternExpr::isUnrestricted
Holds if this record pattern matches any record of its type.
For example, for record R(Object o) { }, pattern R(Object o) is unrestricted, whereas
pattern R(String s) is not because it matches a subset of R instances, those containing Strings.
predicate isUnrestricted()