// RUN_PIPELINE_TILL: FRONTEND
// CHECK_TYPE
// SKIP_TXT

// FILE: lib.kt
package test.abc

class V {
    companion object
}

val V.a: String
    get() = "1"

val V.Companion.a: Int
    get() = 1

// FILE: main.kt
import test.abc.V
import test.abc.a
import kotlin.reflect.KProperty0
import kotlin.reflect.KProperty1

fun case() {
    (V)::a checkType { <!UNRESOLVED_REFERENCE_WRONG_RECEIVER!>_<!><KProperty0<Int>>() }
    (V)::a checkType { _<KProperty1<V, String>>() }

    (test.abc.V)::a checkType { <!UNRESOLVED_REFERENCE_WRONG_RECEIVER!>_<!><KProperty0<Int>>() }
    (test.abc.V)::a checkType { _<KProperty1<V, String>>() }

    V::a checkType { _<KProperty1<V, String>>() }
    V.Companion::a checkType { _<KProperty0<Int>>() }

    (V.Companion)::a checkType { _<KProperty0<Int>>() }
}

/* GENERATED_FIR_TAGS: callableReference, classDeclaration, companionObject, funWithExtensionReceiver,
functionDeclaration, functionalType, getter, infix, integerLiteral, lambdaLiteral, nullableType, objectDeclaration,
propertyDeclaration, propertyWithExtensionReceiver, stringLiteral, typeParameter, typeWithExtension */
