mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[java-highlighting] Fix flacky test for switch dominance
GitOrigin-RevId: 498b70950311ac9b5f1aee55d62f70844060afdb
This commit is contained in:
committed by
intellij-monorepo-bot
parent
c1b298e9d7
commit
b2f6272507
+18
-18
@@ -1,25 +1,25 @@
|
||||
import java.util.List;
|
||||
|
||||
record RecordInterface(I x, I y) {
|
||||
}
|
||||
|
||||
interface Super {
|
||||
}
|
||||
|
||||
record RecordSuper(int x) implements Super {
|
||||
}
|
||||
|
||||
sealed interface I permits C, D {
|
||||
}
|
||||
|
||||
final class C implements I {
|
||||
}
|
||||
|
||||
final class D implements I {
|
||||
}
|
||||
|
||||
class Dominance {
|
||||
|
||||
record RecordInterface(I x, I y) {
|
||||
}
|
||||
|
||||
interface Super {
|
||||
}
|
||||
|
||||
record RecordSuper(int x) implements Super {
|
||||
}
|
||||
|
||||
sealed interface I permits C, D {
|
||||
}
|
||||
|
||||
final class C implements I {
|
||||
}
|
||||
|
||||
final class D implements I {
|
||||
}
|
||||
|
||||
Integer integer;
|
||||
Object object;
|
||||
|
||||
|
||||
Reference in New Issue
Block a user