java/java-tests/testData/codeInsight/nullityinferrer/beforeTryEnumSwitch.java

   1 import org.jetbrains.annotations.*;
   2
   3 public class Infer {
   4     enum E {;
   5     }
   6
   7     void trySwitchEnum(E e) {
   8         switch (e) {
   9
  10         }
  11     }
  12
  13 }