| // RUN_PIPELINE_TILL: FRONTEND | |
| // CHECK_TYPE | |
| // 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 */ |