8 lines
234 B
Java
8 lines
234 B
Java
sealed interface Interface permits A, B {}
|
|
public record A() implements Interface {}
|
|
public record B() implements Interface {}
|
|
|
|
public interface Matcher {
|
|
default match(A()@a) { return 0; }
|
|
default match(B()@b) { return 1; }
|
|
} |