Add error to test case

testinput/typecheck/AnnotationApplicationOrder.java

@@ -16,6 +16,7 @@
  */
 public class AnnotationApplicationOrder {
     static Object o;// PICOTreeAnnotator takes care of static fields
+    // :: error: (initialization.field.uninitialized)
     BigDecimal decimal;// PICOImplicitsTypeAnnotator takes care of it
     Date date;// QualifierDefaults takes care of it
 }

testinput/typecheck/AssignableExample.java

@@ -12,7 +12,7 @@ public class AssignableExample {
     @Immutable Object o;
     @Immutable Date date;
     @Assignable @Immutable Date assignableDate;
-
+    // :: error: (initialization.fields.uninitialized)
     @Mutable AssignableExample() {
         o = new @Immutable Object();
     }

testinput/typecheck/DateCell.java

@@ -9,7 +9,6 @@
 
 @ReceiverDependantMutable public class DateCell {
 
-    // :: error: (initialization.field.uninitialized)
     @ReceiverDependantMutable Date date;
 
     @ReceiverDependantMutable Date getDate(@ReceiverDependantMutable DateCell this) {

testinput/typecheck/EnumConstantNotAlwaysMutable.java

@@ -20,7 +20,7 @@ public class EnumConstantNotAlwaysMutable {
     @Mutable Kind invalidKind2;
     // no error now
     @Readonly Kind invalidKind3;
-
+    // :: error: (initialization.fields.uninitialized)
     EnumConstantNotAlwaysMutable() {
         // Kind.SOME should be @Immutable
         kind = Kind.SOME;

testinput/typecheck/FieldAssignment.java

@@ -16,7 +16,6 @@ void setFWithMutableReceiver(@UnderInitialization @Mutable FieldAssignment this,
 
     // TODO This is not specific to PICO type system. InitializationVisitor currently has this issue of false positively
     // wanrning uninitialized fields when we use instance method to initialiaze fields
-    // :: error: (initialization.fields.uninitialized)
     public FieldAssignment() {
         // :: error: (method.invocation.invalid)
         setFWithMutableReceiver(new @Mutable Object());

testinput/typecheck/FieldsInitialized.java

@@ -19,7 +19,7 @@ public class FieldsInitialized {
     @Assignable @ReceiverDependantMutable Object f8;
     @Assignable @Mutable Object f9;
     @Assignable @Readonly Object f10;
-
+    // :: error: (initialization.fields.uninitialized)
     @ReceiverDependantMutable FieldsInitialized() {
         f1 = new @Immutable Object();
         f2 = new @Immutable Object();

testinput/typecheck/GenericInterfaces.java

@@ -13,6 +13,7 @@ void raw() {
 
         // Using optimictic uninferred type arguments, so it is
         // allowed
+        // :: error: (assignment.type.incompatible)
         @Immutable Object ro = raw.next();
     }
 }

testinput/typecheck/InvalidAssignability.java

@@ -5,9 +5,12 @@
 
 public class InvalidAssignability {
     final @Immutable Object io = null;
+    // :: error: (initialization.field.uninitialized)
     @Immutable Object io2;
+    // :: error: (initialization.field.uninitialized)
     @Assignable @Immutable Object io3;
     static final @Immutable Object io4 = null;
+    // :: error: (initialization.static.field.uninitialized)
     static @Assignable @Immutable Object io5;
     // :: error: (one.assignability.invalid)
     final @Assignable @Immutable Object o = null;

testinput/typecheck/ObjectIdentityMethodTest.java

@@ -26,7 +26,7 @@ public class ObjectIdentityMethodTest extends Super{
     @Immutable A a5;
     final A a6;
     final @Immutable A a7;
-
+    // :: error: (initialization.fields.uninitialized)
     ObjectIdentityMethodTest() {
         a6 = new A();
         a7 = new @Immutable A();

testinput/typecheck/OnlyOneModifierIsUse.java

@@ -7,7 +7,9 @@
 public class OnlyOneModifierIsUse {
 
     // :: error: (type.invalid.conflicting.annos)
+    // :: error: (initialization.field.uninitialized)
     @Readonly @Immutable Object field;
     // :: error: (type.invalid.conflicting.annos)
+    // :: error: (initialization.field.uninitialized)
     String @Readonly @Immutable [] array;
 }

testinput/typecheck/RDMBug.java

@@ -6,9 +6,7 @@
 import qual.Readonly;
 
 @Immutable class RDMBug {
-    // :: error: (initialization.field.uninitialized)
     @Mutable Object o;
-    // :: error: (initialization.field.uninitialized)
     @Readonly Object o2;
     void foo(@Immutable RDMBug this) {
         // :: error: (illegal.field.write)

testinput/typecheck/RDMFieldInst.java

@@ -12,7 +12,7 @@ private static class RDMBox {}
 
     @Immutable
     private static class ImmutableClass {
-        // :: error: (type.invalid.annotations.on.use) :: error: (initialization.field.uninitialized)
+        // :: error: (type.invalid.annotations.on.use)
         @ReceiverDependantMutable MutableBox mutableBoxInRDM;
     }
 

testinput/typecheck/SupportedBuilderPattern.java

@@ -23,7 +23,7 @@ public static class Builder {
         private final int id;
         private String address;
         private @Immutable Date date;
-
+        // :: error: (initialization.fields.uninitialized)
         public Builder(int id) {
             this.id = id;
         }