Thanks for sharing, in the text, they are several mentions of the default pattern but the default pattern is not defined.
RĂ©mi > From: "Brian Goetz" <brian.go...@oracle.com> > To: "amber-spec-experts" <amber-spec-experts@openjdk.java.net> > Sent: Thursday, March 24, 2022 6:39:21 PM > Subject: Pattern coverage > I've put a document at > [ http://cr.openjdk.java.net/~briangoetz/eg-attachments/Coverage.pdf | > http://cr.openjdk.java.net/~briangoetz/eg-attachments/Coverage.pdf ] > which outlines a formal model for pattern coverage, including record patterns > and the effects of sealing. This refines the work we did earlier. The document > may be a bit rough so please let me know if you spot any errors. The approach > here should be more amenable to specification than the previous approach.