blob: 52dbbb014c03b2ea7f7c7685c216585717e596cf (
plain) (
tree)
|
|
object Test {
class Foo[T]
type C[T] = Foo[_ <: T] // error: parameter type T of type alias does not appear as type argument of the aliased class Foo
val a: C[AnyRef] = new Foo[AnyRef] // follow-on error: wrong number of type arguments for Test.C, should be 0
}
|