| // RUN_PIPELINE_TILL: FRONTEND |
| // FIR_IDENTICAL |
| // DIAGNOSTICS: -SUPERTYPES_FOR_ANNOTATION_CLASS -VIRTUAL_MEMBER_HIDDEN -FINAL_SUPERTYPE -MISSING_DEPENDENCY_SUPERCLASS |
| // These errors need to be suppressed to cause light class generation |
| // FILE: test.kt |
| |
| annotation class Ann : Target() |
| |
| annotation class Ann2(vararg val allowedTargets: AnnotationTarget) : Target() |
| |
| interface I : J { |
| override fun foo(): List<String> = throw Exception() |
| } |
| class C : I { |
| fun bar(): Set<Number> = throw Exception() |
| } |
| annotation class Ann3 : C() |
| annotation class Ann4 : I |
| |
| // FILE: J.java |
| |
| import java.util.Collection; |
| import kotlin.annotation.Target; |
| |
| public interface J extends Target { |
| Collection<String> foo(); |
| } |
| |
| /* GENERATED_FIR_TAGS: annotationDeclaration, classDeclaration, functionDeclaration, interfaceDeclaration, javaType, |
| outProjection, override, primaryConstructor, propertyDeclaration, vararg */ |
