Proposal : Abstract `This` type inside every class/trait

[soronpo]

@Ichoran

class Parent[+A](val a: A, val aa: A) {
def arg(me: This[A]): Unit = { println(a) }
def change: This[A] = new Parent[A](aa, a)
def twice: This[A] = change.change
}

Did you mean to have This have a type arguments ([A])? Not all inheritors have the same type-argument signature as their parents.