equal
deleted
inserted
replaced
22 */ |
22 */ |
23 |
23 |
24 // key: compiler.err.not.exhaustive |
24 // key: compiler.err.not.exhaustive |
25 // key: compiler.note.preview.filename |
25 // key: compiler.note.preview.filename |
26 // key: compiler.note.preview.recompile |
26 // key: compiler.note.preview.recompile |
27 // options: --enable-preview -source 12 |
27 // options: --enable-preview -source 13 |
28 |
28 |
29 class NotExhaustive { |
29 class NotExhaustive { |
30 int t(int i) { |
30 int t(int i) { |
31 return switch (i) { |
31 return switch (i) { |
32 case 0 -> -1; |
32 case 0 -> -1; |