path: root/test/files/neg/t0842.check

t0842.scala:1: error: A.this.type does not take type parameters
trait A[T] { def m: this.type[T] = this }
                        ^
one error found