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

*** 22,32 ****
   */
  
  // key: compiler.err.switch.mixing.case.types
  // key: compiler.note.preview.filename
  // key: compiler.note.preview.recompile
! // options: --enable-preview -source 12
  
  class SwitchMixingCaseTypes {
  
      void test(int i) {
          switch (i) {
--- 22,32 ----
   */
  
  // key: compiler.err.switch.mixing.case.types
  // key: compiler.note.preview.filename
  // key: compiler.note.preview.recompile
! // options: --enable-preview -source 13
  
  class SwitchMixingCaseTypes {
  
      void test(int i) {
          switch (i) {