strangepleasures
bb8ff9e299
Merge-request: KT-MR-13684 Merged-by: Pavel Mikhailovskii <Pavel.Mikhailovskii@jetbrains.com>
22 lines
457 B
Kotlin
Vendored
22 lines
457 B
Kotlin
Vendored
// KT-42025
|
|
|
|
open class L<LL>(val ll: LL)
|
|
|
|
class Rec<T>(val rt: T)
|
|
|
|
fun <FT> Rec<FT>.fn(): L<FT> {
|
|
class FLocal<LT>(lt: LT, val pt: FT): L<LT>(lt)
|
|
return foo2(rt, rt, ::FLocal)
|
|
}
|
|
|
|
val <PT> Rec<PT>.p: L<PT>
|
|
get() {
|
|
class PLocal<LT>(lt: LT, val pt: PT): L<LT>(lt)
|
|
return foo2(rt, rt, ::PLocal)
|
|
}
|
|
|
|
fun <T1, T2, R> foo2(t1: T1, t2: T2, bb: (T1, T2) -> R): R = bb(t1, t2)
|
|
|
|
fun box(): String =
|
|
Rec("O").fn().ll + Rec("K").p.ll
|