mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-25 19:21:16 +07:00
JLS 15.25 says: ...has return type boolean or Boolean. or ...is convertible to a numeric type. JLS 5.1.8 says: A type is said to be convertible to a numeric type if it is a numeric type (§4.2), or it is a reference type that may be converted to a numeric type by unboxing conversion. Nothing about bounds PolyConditionalExpressionWithTargetPrimitive test behavior matches Java 9+ now (with --release=8) GitOrigin-RevId: fa14e909ad623a3ab6bb8355bbbe396003cd782c
31 lines
794 B
Java
31 lines
794 B
Java
|
|
class Conditional {
|
|
void m(Object p, boolean b) {
|
|
int a = b ? null : ((Getter<Integer>) p).get();
|
|
int a1 = b ? <error descr="Incompatible types. Found: 'null', required: 'int'">null</error> : Conditional.<Integer>f();
|
|
int a2 = b ? null : 1;
|
|
int a3 = b ? null : f1();
|
|
int a4 = b ? <error descr="Incompatible types. Found: 'null', required: 'int'">null</error> : f2();
|
|
Long someNum = b ? getNum(5L) : <error descr="Incompatible types. Found: 'int', required: 'java.lang.Long'">0</error>;
|
|
}
|
|
|
|
private static <T> T getNum(T num) {
|
|
return num;
|
|
}
|
|
|
|
private static <T> T f() {
|
|
return null;
|
|
}
|
|
|
|
private static int f1() {
|
|
return 1;
|
|
}
|
|
|
|
private static <T extends Integer, S extends T> S f2() {
|
|
return null;
|
|
}
|
|
}
|
|
|
|
interface Getter<A> {
|
|
A get();
|
|
} |