mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-03 12:10:37 +07:00
GitOrigin-RevId: 3aae5c738d48c38144f6a78c36738121831ae5a5
7 lines
161 B
Java
7 lines
161 B
Java
class X {
|
|
void test(Object obj) {
|
|
if (obj instanceof String a) {
|
|
System.out.println(<selection>a.length()</selection>);
|
|
}
|
|
}
|
|
} |