| C1.java:2: error: [initialization.field.uninitialized] the default constructor does not initialize field o |
| Object o; |
| ^ |
| C2.java:2: error: [assignment] incompatible types in assignment. |
| Object o = null; |
| ^ |
| found : null (NullType) |
| required: @Initialized @NonNull Object |
| C3.java:4: error: cannot find symbol |
| void bad(XXX p) { |
| ^ |
| symbol: class XXX |
| location: class C3b |
| C3.java:1: error: [type.checking.not.run] NullnessChecker did not run because of a previous error issued by javac |
| public class C3 { |
| ^ |
| C4.java:1: error: [type.checking.not.run] NullnessChecker did not run because of a previous error issued by javac |
| public class C4 { |
| ^ |
| 5 errors |
