mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-25 14:25:04 +07:00
disable flip intersection conjuncts for equal sides
This commit is contained in:
+7
@@ -0,0 +1,7 @@
|
||||
// "Move 'Number' to the beginning" "false"
|
||||
class C {
|
||||
{
|
||||
Object x = null;
|
||||
Object y2 = (Number & Num<caret>ber) x;
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user