mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-02 14:38:30 +07:00
GitOrigin-RevId: 5d8bef4c624ec29338363e8120455010a4612ae0
9 lines
147 B
Java
9 lines
147 B
Java
class X {
|
|
sealed interface Foo {}
|
|
record Bar() implements Foo {}
|
|
|
|
public static void main(String[] args) {
|
|
Foo foo = new Fo<caret>
|
|
|
|
}
|
|
} |