You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When the initialization checker issues errors related to uninitialized fields, it would be helpful if it could also indicate which specific fields have not been initialized.
The text was updated successfully, but these errors were encountered:
FinalClass.java:5: error: [initialization.fields.uninitialized] the constructor does not initialize fields: s, foo
Demo() {
^
FinalClass.java:6: error: [method.invocation.invalid] call to init() not allowed on the given receiver.
init();
^
found : @UnderInitialization Demo
required: @Initialized Demo
2 errors
The issue is from #621.
When the initialization checker issues errors related to uninitialized fields, it would be helpful if it could also indicate which specific fields have not been initialized.
The text was updated successfully, but these errors were encountered: