path: root/tests/disabled/not-representable/pos/t1803.scala

// No parameter type inference in Dotty
class A { def foo[A](a: A) = a }
class B extends A { override def foo[A](b) = b }