Description shankha banerjee 2014-04-03 23:54:39 EDT

Refiling the issue as misunderstood the original issue (Bug 431722).

@NonNullByDefault
class Y {}
public class X {
	Y y;    // Warning should be reported here.
	Y[] y1; // Warning should be reported.
        void bar () {
            y = new Y();
            y1 = new Y[0];
        }
}

Warnings should be reported as the fields y and y1 are not initialized either through constructor or initialization as part of field declaration.

If any one of the constructors does not initialize the field we should report 
a warning.

Thanks