// !CHECK_TYPE
// FILE: A.java
public enum A {

    ENTRY {
        public String s() {
            return "s";
        }
    };
    public abstract String s();
}

// FILE: test.kt
fun main() {
    checkSubtype<String?>(A.ENTRY.s())
}
