Don't stop at LazyRefs when computing structural variances

odersky · odersky · commit bfa85797a3d3 · 2020-01-29T17:26:11.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/core/Variances.scala b/compiler/src/dotty/tools/dotc/core/Variances.scala
@@ -116,8 +116,6 @@ object Variances {
       def apply(x: Unit, t: Type): Unit = t match
         case t: TypeParamRef if t.binder eq lam =>
           lam.typeParams(t.paramNum).storedVariance &= varianceFromInt(variance)
-        case _: LazyRef =>
-          x
         case _ =>
           foldOver(x, t)
     }

Original file line number	Diff line number	Diff line change
`@@ -116,8 +116,6 @@ object Variances {`
`116`	`116`	`def apply(x: Unit, t: Type): Unit = t match`
`117`	`117`	`case t: TypeParamRef if t.binder eq lam =>`
`118`	`118`	`lam.typeParams(t.paramNum).storedVariance &= varianceFromInt(variance)`
`119`		`- case _: LazyRef =>`
`120`		`- x`
`121`	`119`	`case _ =>`
`122`	`120`	`foldOver(x, t)`
`123`	`121`	`}`