mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-05-18 22:42:49 +07:00
9c6aeba5b4
GitOrigin-RevId: 7f72c5f68ab821e728eb0d5152f0910f48035046
12 lines
164 B
Java
12 lines
164 B
Java
// "Cast argument to 'x'" "true-preview"
|
|
class x {}
|
|
class a extends x {
|
|
a(a a) {}
|
|
a(x x) {}
|
|
|
|
void f(Runnable r) {
|
|
new a(<caret>(x) r);
|
|
}
|
|
}
|
|
|