Denis.Zharkov
a02cb16fb2
The main idea is getting rid of stub types and using just type variables See more detailed description at docs/fir/delegated_property_inference.md The problem with stub types is that they need really special treatment in many places, and on the other hand, there are no clear contracts on how they should work (that regularly leads to bugs like KT-59529) ^KT-61060 Fixed ^KT-61075 Fixed ^KT-61077 Fixed ^KT-59529 Fixed ^KT-61633 Related ^KT-61618 Related ^KT-61740 Related ^KT-59107 Related ^KT-61747 Related ^KT-61077 Related ^KT-61781 Related
22 lines
809 B
Kotlin
Vendored
22 lines
809 B
Kotlin
Vendored
// 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<!>
|
|
} |