Attached simple Test.java triggers a VerifyError:

java --enable-preview -Xint Test.java
Exception in thread "main" java.lang.VerifyError: Strict fields not a subset of initial strict instance fields: i4:I
Exception Details:
  Location:
    Test$Val2.<init>(Z)V @0: aload_0
  Reason:
    Invalid use of strict instance fields
  Current Frame:
    bci: @0
    flags: { flagThisUninit }
    locals: { uninitializedThis, integer }
    stack: { }
  Bytecode:
    0000000: 2a03 b500 012a 1b99 0007 01a7 000a bb00
    0000010: 0759 b700 09b5 000d 2ab7 0011 b1
  Stackmap Table:

at Test.main(Test.java:28)


It seems to be triggered by this line "this.val1 = b ? null : new Val1();"