Add support for Java records in pattern matching - #26497

Merged

Gedochao merged 18 commits into

Florian3k:java-record-patmat2

Sep 1, 2026

Commits on Aug 12, 2026

add support for java records in pattern matching
Florian3k
committed
b08367e
add record patterns to space exhaustivity checker
Florian3k
committed
fce8acb
add java records to pattern matching spec
Florian3k
committed
8821342

Commits on Aug 23, 2026

Change record extractor to tuple/boolean
Florian3k
committed
0b80d06
carry java record component names in an annotation

authored and
Florian3k
committed
92213cf

Commits on Aug 24, 2026

support vararg java records using pattern sequence
Florian3k
committed
4ea5d0d
beta-reduce polymorphic synthetic unapply calls

authored and
Florian3k
committed
333858b
update InlinePatterns comment
Florian3k
committed
2fd0f50

Commits on Aug 25, 2026

fix typo in a comment in Applications

authored and
Florian3k
committed
96eb58b
add tests matching a java record against null

authored and
Florian3k
committed
d2db163

Commits on Aug 26, 2026

Merge branch 'main' into java-record-patmat2
Florian3k
committed
b097117
add more test cases for vararg records
Florian3k
committed
977e434
identify a record's canonical constructor by its descriptor

authored and
Florian3k
committed
55b4a00

Commits on Aug 27, 2026

use UnapplySeqWrapper for vararg record component
Florian3k
committed
c69605b
Merge branch 'main' into java-record-patmat2
Florian3k
committed
ebf2c48

Commits on Aug 31, 2026

extract definition
Florian3k
committed
6d0a94c

Commits on Sep 1, 2026

Merge branch 'main' into java-record-patmat2
Florian3k
committed
db9abcc
update mima filters
Florian3k
committed
0332a8c