Add test for basic record syntax

scala · Aug 6, 2022 · 0710c7b · 0710c7b
1 parent da5ed4f
commit 0710c7b
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/test/files/pos/t12474/Nat.java b/test/files/pos/t12474/Nat.java
@@ -0,0 +1,6 @@
+// javaVersion: 17+
+
+public sealed interface Nat permits Nat.Zero, Nat.Succ {
+    public static final record Zero() implements Nat {}
+    public static final record Succ(Nat pred) implements Nat {}
+}
diff --git a/test/files/pos/t12474/s.scala b/test/files/pos/t12474/s.scala
@@ -0,0 +1,5 @@
+// javaVersion: 17+
+
+class S {
+  def j: Nat = new Nat.Zero
+}