JavaCompilerCore-SCCs/resources/bytecode/javFiles/PatternMatchingJava2.jav

sealed interface List<T> permits Cons, Empty {}

public record Cons<T>(T a, List<T> l) implements List<T> {}
public record Empty<T>() implements List<T> {}
public record Tuple<T1, T2>(T1 a, T2 b) {}