On Thu, 18 Dec 2025 04:58:38 GMT, Quan Anh Mai <[email protected]> wrote:
> So my question is why this annotation does not try to enforce a stronger > invariant so that we can benefit from those invariants without having to wait > for strict fields. No. We currently cannot enforce such final fields to be all written before the `Object::<init>` entry, and I also don't think mainline has this safe publication fence at the beginning of `Object::<init>` either. ------------- PR Comment: https://git.openjdk.org/jdk/pull/28540#issuecomment-3671092060
