/tests/features1919/java19/
../
RecordPatternsPreview1Aspect.aj
RecordPatternsPreview1Error.java
RecordPatternsPreview1ExhaustivenessAspect.aj
RecordPatternsPreview1ExhaustivenessError.java
RecordPatternsPreview1ExhaustivenessOK1.java
RecordPatternsPreview1ExhaustivenessOK2.java
RecordPatternsPreview1OK.java
SwitchPatternPreview3Aspect.aj
SwitchPatternPreview3Error1.java
SwitchPatternPreview3Error2.java
SwitchPatternPreview3OK.java