| // DISABLE_JAVA_FACADE |
| // RUN_PIPELINE_TILL: BACKEND |
| // FIR_IDENTICAL |
| // DIAGNOSTICS: -UNUSED_VARIABLE |
| // JAVAC_EXPECTED_FILE |
| |
| // FILE: A.java |
| import java.util.*; |
| |
| @kotlin.jvm.PurelyImplements("") |
| public class A<T> extends AbstractList<T> { |
| @Override |
| public T get(int index) { |
| return null; |
| } |
| |
| @Override |
| public int size() { |
| return 0; |
| } |
| } |
| |
| // FILE: B.java |
| import java.util.*; |
| |
| @kotlin.jvm.PurelyImplements("[INVALID]") |
| public class B<T> extends AbstractList<T> {} |
| |
| // FILE: main.kt |
| val x = A<String>() |
| val y = B<String>() |
| |
| /* GENERATED_FIR_TAGS: flexibleType, javaFunction, javaType, propertyDeclaration */ |