mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-05-18 22:42:49 +07:00
7e1064ea3c
GitOrigin-RevId: 22a46c15d8900d8a31514846755a013f6a67ad42
6 lines
116 B
Java
6 lines
116 B
Java
// "Unwrap 'switch'" "true-preview"
|
|
public class One {
|
|
void f1(String a) {
|
|
System.out.println("None");
|
|
}
|
|
} |