javac should issue an error for code like:

import jdk.internal.vm.annotation.NullRestricted;
import jdk.internal.vm.annotation.Strict;

class StrictNR {
    static value class IValue {
        int i = 0;
    }

    @Strict
    @NullRestricted
    IValue val;// = new IValue(); // no initialization

    public static void main(String[] args) {
        StrictNR s = new StrictNR();
    }
}

as this code won't pass the verifier check