// RUN_PIPELINE_TILL: FRONTEND
// DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER
// MODULE: m1
// FILE: a.kt

package p

public class A<T>
public class M1 {
    public val a: A<Int> = A<Int>()
}

// MODULE: m2
// FILE: b.kt

package p

public class A

public fun foo(a: A) {
}

// MODULE: m3(m1, m2)
// FILE: b.kt

import p.*

fun test() {
    foo(<!ARGUMENT_TYPE_MISMATCH!>M1().a<!>)
}

/* GENERATED_FIR_TAGS: classDeclaration, functionDeclaration, nullableType, propertyDeclaration, typeParameter */
