< prev index next >

test/langtools/tools/javac/diags/examples/NotExhaustive.java

Print this page

        

@@ -22,11 +22,11 @@
  */
 
 // key: compiler.err.not.exhaustive
 // key: compiler.note.preview.filename
 // key: compiler.note.preview.recompile
-// options: --enable-preview -source 12
+// options: --enable-preview -source 13
 
 class NotExhaustive {
     int t(int i) {
         return switch (i) {
             case 0 -> -1;
< prev index next >