I'd like to see how self-types would break things,...
# language-proposals
a
I'd like to see how self-types would break things, because I thought they could be imitated by generic argument like
Copy code
interface Foo<THIS:Foo<THIS>> {
    fun example(other: THIS): THIS
}

class Bar: Foo<Bar> {
    fun example(other: Bar): Bar {
        TODO()
    }
}