Files
openide/java/java-tests/testData/codeInsight/completion/normal/InconsistentHierarchyDfa_after.java
Tagir Valeev d6225c87b7 TypeConstraint#union: fixed possible inconvertibility with inconsistent hierarchy
Fixes EA-123372 - NPE: AbstractStreamEx.lambda$foldLeft$
2018-06-26 15:38:48 +07:00

15 lines
290 B
Java

import java.util.*;
class Foo {
final class X {}
class Y extends X {}
class YY extends X {}
interface Z {};
void test(Object o) {
if((o instanceof Y && o instanceof Z) || (o instanceof YY && o instanceof Z)) {
o.hashCode()<caret>
}
}
}