| // Version of framework/tests/all-systems/InferNullType.java with expected Nullness Checker warnings |
| public class InferNullType { |
| |
| <T extends Object> T toInfer(T input) { |
| return input; |
| } |
| |
| <T> T toInfer2(T input) { |
| return input; |
| } |
| |
| <T, S extends T> T toInfer3(T input, S p2) { |
| return input; |
| } |
| |
| <T extends Number, S extends T> T toInfer4(T input, S p2) { |
| return input; |
| } |
| |
| void x() { |
| // :: error: (type.argument) |
| Object m = toInfer(null); |
| Object m2 = toInfer2(null); |
| |
| Object m3 = toInfer3(null, null); |
| Object m4 = toInfer3(1, null); |
| Object m5 = toInfer3(null, 1); |
| |
| // :: error: (type.argument) |
| Object m6 = toInfer4(null, null); |
| // :: error: (type.argument) |
| Object m7 = toInfer4(1, null); |
| // :: error: (type.argument) |
| Object m8 = toInfer4(null, 1); |
| } |
| } |