path: root/test/files/pos/t1803.scala

class A { def foo[A](a: A) = a }
class B extends A { override def foo[A](b) = b }