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 String
s.
predicate isUnrestricted()