The logic for issuing an error when a strict (instance) field is missing an 
initializer relies on there being some constructor at the end of which the 
error is reported.

But if the constructor is a default constructor, there's no valid position 
where to report the error.

To fix this, I looked at how errors for uninitialized final fields. In case of 
a default constructor the error is reported against the field decl, not the 
constructor. I've done the same for non-nullable fields.

-------------

Commit messages:
 - Initial push

Changes: https://git.openjdk.org/valhalla/pull/1897/files
  Webrev: https://webrevs.openjdk.org/?repo=valhalla&pr=1897&range=00
  Stats: 47 lines in 5 files changed: 34 ins; 6 del; 7 mod
  Patch: https://git.openjdk.org/valhalla/pull/1897.diff
  Fetch: git fetch https://git.openjdk.org/valhalla.git pull/1897/head:pull/1897

PR: https://git.openjdk.org/valhalla/pull/1897

Reply via email to