23 lines
450 B
Java
23 lines
450 B
Java
import java.lang.String;
|
|
import java.lang.Integer;
|
|
|
|
sealed interface List<T> permits LinkedElem, Elem {}
|
|
public record LinkedElem<T>(T a, List<T> l) implements List<T>{}
|
|
public record Elem<T>(T c) implements List<T>{}
|
|
|
|
public class GenericRecordSwitchCase {
|
|
public main(o) {
|
|
return switch(o) {
|
|
case LinkedElem(a, Elem(e)) -> a ;
|
|
case LinkedElem(a, LinkedElem(e, Elem(f))) -> a;
|
|
};
|
|
}
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|