#705

manifold-systems/manifold#705

Author: EotT123

src/main/java/t705/Test.java

@@ -0,0 +1,9 @@
+package t705;
+
+import manifold.ext.props.rt.api.val;
+import org.jspecify.annotations.NullMarked;
+
+@NullMarked
+public interface Test {
+    @val String test; // WARNING: @NullMarked fields must be initialized
+}