| // RUN_PIPELINE_TILL: FRONTEND |
| // ISSUE: KT-61633 |
| |
| interface A<T1> |
| interface B<T2> |
| interface C<T3> |
| interface D<T4> |
| |
| val <X1> A<X1>.provideDelegate: B<X1> get() = TODO() |
| operator fun <X2> B<X2>.invoke(x: Any?, y: Any?): C<X2> = TODO() |
| |
| val <X3> C<X3>.getValue: D<X3> get() = TODO() |
| operator fun <X4> D<X4>.invoke(x: Any?, y: Any?): X4 = TODO() |
| |
| fun foo(a: A<String>, c: C<String>) { |
| val x1 by a |
| <!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE, DEBUG_INFO_EXPRESSION_TYPE("[Error type: Error delegation type for a]")!>x1<!> |
| <!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>x1<!>.<!DEBUG_INFO_MISSING_UNRESOLVED!>length<!> |
| |
| val y1 by c |
| <!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE, DEBUG_INFO_EXPRESSION_TYPE("[Error type: Error delegation type for c]")!>y1<!> |
| <!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>y1<!>.<!DEBUG_INFO_MISSING_UNRESOLVED!>length<!> |
| } |
| |
| /* GENERATED_FIR_TAGS: funWithExtensionReceiver, functionDeclaration, getter, interfaceDeclaration, localProperty, |
| nullableType, operator, propertyDeclaration, propertyDelegate, propertyWithExtensionReceiver, starProjection, |
| typeParameter */ |
