Add support for Java records in patterns.#19577

Draft

yilinwei wants to merge 13 commits intoscala:mainfrom

yilinwei:java-record-patterns

Commits on Feb 10, 2024

Commits on Feb 14, 2024

Commits on Feb 16, 2024

Adding step to reduce `unapply`.
yilinwei
committed