Dmitrii Gridin
25 lines
469 B
Kotlin
Vendored
25 lines
469 B
Kotlin
Vendored
// FIR_IDENTICAL
|
|
// FILE: usage.kt
|
|
@Target(AnnotationTarget.TYPE)
|
|
annotation class Anno
|
|
|
|
data class P<T1, T2>(val t1: T1, val t2: T2)
|
|
|
|
fun foo(m: Manager<P<Int, @Anno String>>) {
|
|
m.action {}
|
|
}
|
|
|
|
// FILE: Manager.java
|
|
import org.jetbrains.annotations.NotNull;
|
|
|
|
public interface Manager<T> {
|
|
@NotNull
|
|
Manager<T> action(@NotNull Consumer<? super T> handler);
|
|
}
|
|
|
|
// FILE: Consumer.java
|
|
@FunctionalInterface
|
|
public interface Consumer<T> {
|
|
void accept(T t);
|
|
}
|