Merge /home/nik/work/jpsImport/JPS
[idea/community.git] / java / java-tests / testData / codeInsight / nullityinferrer / afterTryEnumSwitch.java
1 import org.jetbrains.annotations.*;
2
3 public class Infer {
4     enum E {;
5     }
6
7     void trySwitchEnum(@NotNull E e) {
8         switch (e) {
9
10         }
11     }
12
13 }