// MODULE: context

// FILE: lib.kt
package lib

@Target(AnnotationTarget.FUNCTION)
annotation class Anno(val x: String = "foo")

// FILE: context.kt
import lib.Anno

@Anno
fun foo(): Int = 5

@Anno(x = "bar")
fun bar(): Int = 10

fun test() {
    <caret_context>val x = 0
}


// MODULE: main
// MODULE_KIND: CodeFragment
// CONTEXT_MODULE: context

// FILE: fragment.kt

// FILE: Anno.kt
package p3

@Target(AnnotationTarget.FUNCTION)
annotation class Anno(vararg val x: String)

// FILE: main.kt
import p3.Anno

@Anno("A", "B")
fun foo(): Int = 10

fun test() {
    val x = foo()

@file:Suppress("ANNOTATION_ARGUMENT_MUST_BE_CONST")
package test

annotation class Anno(val value: String)

@Anno(value = "A" <expr>foo</expr> "B")
class Foo

// MODULE: lib
// MODULE_KIND: LibraryBinary
// FILE: p3/Anno.java
package p3;

import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;
import java.lang.annotation.Target;

import static java.lang.annotation.ElementType.*;

@Target({TYPE, FIELD, METHOD, PARAMETER, CONSTRUCTOR, LOCAL_VARIABLE})
@Retention(RetentionPolicy.CLASS)
public @interface Anno {
    String[] value();
}

// MODULE: lib2(lib)

annotation class Anno(val value: KClass<*>)

@Anno(IntArray::class)

annotation class Anno(val value: IntArray)

@Anno(value = <expr>[1, 2, 3]</expr>)

annotation class Anno(val value: KClass<*>)

@Anno(Array<String>::class)

annotation class Anno(val value: KClass<*>)

@Anno(List<String>::class)

annotation class Anno(val value: KClass<*>)

@Anno(Array<Array<String>>::class)

annotation class Foo
annotation class Anno(val value: KClass<*>)

@Anno(Array<@Foo String>::class)