openide/java/java-tests/testData/codeInsight/nullityinferrer/afterTryEnumSwitch.java

import org.jetbrains.annotations.NotNull;

public class Infer {
    enum E {;
    }

    void trySwitchEnum(@NotNull E e) {
        switch (e) {

        }
    }

}