Files
Tagir Valeevandintellij-monorepo-bot 6ddb8c0946 [java-dfa] generateBoxingUnboxingInstructionFor: keep target boxed type if it's primitive wrapper
Fixes IDEA-246519 Boxed Integer is reported to be equal to boxed Byte
Fixes IDEA-246500 DFA infers an instanceof expression result improperly

GitOrigin-RevId: d76b6d2d17f142aec3a7cde3ab33caff234e5fd4
2020-07-24 08:49:26 +00:00

16 lines
816 B
Java

class X {
// IDEA-246519
// IDEA-246500
void test() {
Byte b = 1;
Short s = 1;
Integer i = 1;
if (<warning descr="Condition 'b instanceof Byte' is always 'true'">b instanceof Byte</warning>) {}
if (<warning descr="Condition 's instanceof Short' is always 'true'">s instanceof Short</warning>) {}
if (<warning descr="Condition 'b.equals(1)' is always 'false'">b.equals(1)</warning>) {}
if (<warning descr="Condition 's.equals(1)' is always 'false'">s.equals(1)</warning>) {}
if (<warning descr="Condition 'b.equals(i)' is always 'false'">b.equals(i)</warning>) {}
if (<warning descr="Condition 'b.equals((byte)1)' is always 'true'">b.equals((byte)1)</warning>) {}
if (<warning descr="Condition 's.equals((short)1)' is always 'true'">s.equals((short)1)</warning>) {}
}
}