CodeQL library for Java/Kotlin
codeql/java-all 0.9.2-dev (changelog, source)
Search

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()