blob: 093387b3e5d767176e8d28fcd488a2775a6faf38 [file]
abstract class A {
open val <D> Inv<D>.phasedFir: D get() = TODO()
}
abstract class B : A() {
final override val <D> Inv<D>.phasedFir: D get() = TODO()
}
abstract class Inv<E>
class C : B() {
fun foo(x: Inv<String>) {
x.phasedFir
}
}