Fix test

odersky · odersky · commit 1552e70a855e · 2019-12-09T17:44:06.000+01:00
diff --git a/tests/neg/tcpoly_typealias.scala b/tests/neg/tcpoly_typealias.scala
@@ -34,7 +34,7 @@ trait BOk4 extends A3 {
  // does type alias signature (not considering RHS) correspond to abstract type member in super class
  // does RHS correspond to the type alias sig
 trait BInv extends A{
-  type m[x] = FooCov[x] // error: invariant x in alias def
+  type m[x] = FooCov[x] // was an error: invariant x in alias def, now ok, since `FooCov` is covariant
 }
 
 trait BCon extends A{

Original file line number	Diff line number	Diff line change
`@@ -34,7 +34,7 @@ trait BOk4 extends A3 {`
`34`	`34`	`// does type alias signature (not considering RHS) correspond to abstract type member in super class`
`35`	`35`	`// does RHS correspond to the type alias sig`
`36`	`36`	`trait BInv extends A{`
`37`		`- type m[x] = FooCov[x] // error: invariant x in alias def`
	`37`	+ type m[x] = FooCov[x] // was an error: invariant x in alias def, now ok, since `FooCov` is covariant
`38`	`38`	`}`
`39`	`39`
`40`	`40`	`trait BCon extends A{`