shawjef3

Here's another one. This is with Scala 2.13. ```scala case class T0() { type A def f(a: A): A = a } T0().f(2) ``` ``` type mismatch; found : Int(2)...

Another example of where it goes wrong: ```scala val t0 = T0() classOf[t0.A] ``` gives ``` class type required but t0.A found classOf[t0.A]