mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-05-01 02:38:59 +07:00
intersection types in cast: provide "delete repeated interface" fix
This commit is contained in:
@@ -0,0 +1,7 @@
|
||||
// "Delete repeated 'I'" "true"
|
||||
interface I {}
|
||||
class Test {
|
||||
{
|
||||
Object o = (I & Runnable) null;
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,7 @@
|
||||
// "Delete repeated 'I'" "true"
|
||||
interface I {}
|
||||
class Test {
|
||||
{
|
||||
Object o = (I & Runnable) null;
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,7 @@
|
||||
// "Delete repeated 'I'" "true"
|
||||
interface I {}
|
||||
class Test {
|
||||
{
|
||||
Object o = (I) null;
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,7 @@
|
||||
// "Delete repeated 'I'" "true"
|
||||
interface I {}
|
||||
class Test {
|
||||
{
|
||||
Object o = (I & Runnable & <caret>I) null;
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,7 @@
|
||||
// "Delete repeated 'I'" "true"
|
||||
interface I {}
|
||||
class Test {
|
||||
{
|
||||
Object o = (I & <caret>I & Runnable) null;
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,7 @@
|
||||
// "Delete repeated 'I'" "true"
|
||||
interface I {}
|
||||
class Test {
|
||||
{
|
||||
Object o = (I & <caret>I) null;
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user