Eta expand according to expected type parameter variance

When eta expanding a type `C` to `[vX] => C[X]` the variance `v`
is now the variance of the expected type, not the variance of the
type constructor `C`, as long as the variance of the expected type
is compatible with the variance of `C`.

1 files changed, 3 insertions, 4 deletions

diff --git a/test/dotc/scala-collections.whitelist b/test/dotc/scala-collections.whitelist
index 6c4a34f0e..4f3eeeed5 100644
--- a/test/dotc/scala-collections.whitelist
+++ b/test/dotc/scala-collections.whitelist
@@ -82,9 +82,9 @@
 ./scala-scala/src/library/scala/collection/immutable/Queue.scala
 
 # https://github.com/lampepfl/dotty/issues/916
-#./scala-scala/src/library/scala/collection/immutable/Seq.scala
-#./scala-scala/src/library/scala/collection/mutable/IndexedSeq.scala
-#./scala-scala/src/library/scala/collection/mutable/ListBuffer.scala
+./scala-scala/src/library/scala/collection/immutable/Seq.scala
+./scala-scala/src/library/scala/collection/mutable/IndexedSeq.scala
+./scala-scala/src/library/scala/collection/mutable/ListBuffer.scala
 
 ./scala-scala/src/library/scala/collection/immutable/Stack.scala
 ./scala-scala/src/library/scala/collection/immutable/StringLike.scala
@@ -224,7 +224,6 @@
 ./scala-scala/src/library/scala/collection/immutable/NumericRange.scala
 ./scala-scala/src/library/scala/collection/immutable/Range.scala
 ./scala-scala/src/library/scala/collection/immutable/RedBlackTree.scala
-./scala-scala/src/library/scala/collection/immutable/Seq.scala
 
 # uses refinements that dotty does not support
 #./scala-scala/src/library/scala/collection/immutable/Set.scala