import org.checkerframework.checker.tainting.qual.Tainted;
import org.checkerframework.checker.tainting.qual.Untainted;

public class EnumTypeArgs {

    enum MyEnum {
        CONST1,
        CONST2,
    }

    void method(@Untainted MyEnum e1, @Tainted MyEnum e2) {
        e1.compareTo(e2);
    }
}
