@@ -22,11 +22,11 @@ */ // key: compiler.err.rule.completes.normally // key: compiler.note.preview.filename // key: compiler.note.preview.recompile -// options: --enable-preview -source 12 +// options: --enable-preview -source 13 class RuleCompletesNormally { public String convert(int i) { return switch (i) { default -> {}