Merge pull request #8651 from smarter/variance-alias

Fix variance computation for parameterized type aliases

src/reflect/scala/reflect/internal/Symbols.scala

@@ -3082,7 +3082,15 @@ trait Symbols extends api.Symbols { self: SymbolTable =>
   class AliasTypeSymbol protected[Symbols] (initOwner: Symbol, initPos: Position, initName: TypeName)
   extends TypeSymbol(initOwner, initPos, initName) {
     type TypeOfClonedSymbol = TypeSymbol
-    override def variance = if (isLocalToThis) Bivariant else info.typeSymbol.variance
+    override def variance =
+      // A non-applied parameterized type alias can appear in any variance position
+      if (typeParams.nonEmpty)
+        Invariant
+      else if (isLocalToThis)
+        Bivariant
+      else
+        info.typeSymbol.variance
+
     override def isContravariant = variance.isContravariant
     override def isCovariant     = variance.isCovariant
     final override def isAliasType = true

test/files/neg/variance-alias.check

@@ -0,0 +1,7 @@
+variance-alias.scala:5: error: covariant type T occurs in invariant position in type => Inv[T] of value a
+  val a: Inv[({type L[+X] = X})#L[T]] = new Inv[({type L[+X] = X})#L[T]] {} // error
+      ^
+variance-alias.scala:6: error: covariant type T occurs in invariant position in type => Inv[X.this.Id[T]] of value b
+  val b: Inv[Id[T]] = new Inv[Id[T]] {} // error
+      ^
+2 errors

test/files/neg/variance-alias.scala

@@ -0,0 +1,7 @@
+trait Inv[A]
+
+class X[+T] {
+  type Id[+A] = A
+  val a: Inv[({type L[+X] = X})#L[T]] = new Inv[({type L[+X] = X})#L[T]] {} // error
+  val b: Inv[Id[T]] = new Inv[Id[T]] {} // error
+}

test/files/pos/variance-alias.scala

@@ -0,0 +1,6 @@
+trait Tc[F[_]]
+object X {
+  type Id[+A] = A
+  val a: Tc[({type L[+X] = X})#L] = new Tc[({type L[+X] = X})#L] {} // ok, therefore the following should be too:
+  val b: Tc[Id] = new Tc[Id] {} // ok
+}