bworld - java laucher vs restricted field

[Jan Lahoda]

Hi Remi,


Thanks for the report. Please see for what I think is the cause and a 
possible fix:
https://github.com/openjdk/valhalla/pull/2039


Jan


On 2/4/26 16:43, Remi Forax wrote:
> Hello,
> I'm testing the restricted fields on the bworld branch,
> running the source code directly with the command "java" without using javac failed.
>
> step to reproduce:
>
> $JAVA_HOME/bin/java --enable-preview ComplexBox.java
>
> ComplexBox.java:10: error: cannot access NullRestricted
> public class ComplexBox {
>         ^
>    class file for jdk.internal.vm.annotation.NullRestricted not found
> 1 error
> error: compilation failed
>
> If instead, I first compile and then run, there is no issue.
>
> ---
> public class ComplexBox {
>    public value record Complex(int re, int im) {}
>
>    private Complex! complex;
>
>    public ComplexBox(Complex! complex) {
>      this.complex = complex;
>      super();
>    }
>
>    @Override
>    public String toString() {
>      return "ComplexBox (" + complex + ")";
>    }
>
>    // -XX:+UnlockDiagnosticVMOptions -XX:+PrintInlineLayout
>    static void main() {
>      var complex = new Complex(2, 1);
>      var box = new ComplexBox(complex);
>
>      IO.println(box);
>    }
> }