8000 Add test for basic record syntax · scala/scala@0710c7b · GitHub
[go: up one dir, main page]
Skip to content

Commit 0710c7b

Browse files
som-snyttsom-snytt
committed
Add test for basic record syntax
1 parent da5ed4f commit 0710c7b

File tree

2 files changed

+11
-0
lines changed

2 files changed

+11
-0
lines changed

‎test/files/pos/t12474/Nat.java

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
// javaVersion: 17+
2+
3+
public sealed interface Nat permits Nat.Zero, Nat.Succ {
4+
public static final record Zero() implements Nat {}
5+
public static final record Succ(Nat pred) implements Nat {}
6+
}

‎test/files/pos/t12474/s.scala

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
// javaVersion: 17+
2+
3+
class S {
4+
def j: Nat = new Nat.Zero
5+
}

0 commit comments

Comments
 (0)
0