mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-07 19:36:56 +07:00
Also: pattern variable can be deleted via simple .delete() GitOrigin-RevId: d3523f64d86de28d90b82d7bd98c1fd70567652d
6 lines
138 B
Java
6 lines
138 B
Java
// "Remove pattern variable" "true"
|
|
class X {
|
|
public void test(Object object) {
|
|
if (object instanceof String str<caret>ing) {}
|
|
}
|
|
} |