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

tcpoly_bounds.scala:3: error: type arguments [scala.List] do not conform to class A's type parameter bounds [m<: [x]>: scala.Nothing <: scala.Option[x]]
object b extends A[List]
                 ^
one error found