Handle @uncheckedVariance in hk-types

odersky · odersky · commit 625e4a9f6c20 · 2019-02-09T11:45:40.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/typer/VarianceChecker.scala b/compiler/src/dotty/tools/dotc/typer/VarianceChecker.scala
@@ -48,6 +48,8 @@ object VarianceChecker {
             case tref: TypeParamRef if tref.binder `eq` tl =>
               val v = tl.typeParams(tref.paramNum).paramVariance
               varianceConforms(variance, v) || { error(tref); false }
+            case AnnotatedType(_, annot) if annot.symbol == defn.UncheckedVarianceAnnot =>
+              x
             case _ =>
               foldOver(x, t)
           }

Original file line number	Diff line number	Diff line change
`@@ -48,6 +48,8 @@ object VarianceChecker {`
`48`	`48`	case tref: TypeParamRef if tref.binder `eq` tl =>
`49`	`49`	`val v = tl.typeParams(tref.paramNum).paramVariance`
`50`	`50`	`varianceConforms(variance, v) \|\| { error(tref); false }`
	`51`	`+ case AnnotatedType(_, annot) if annot.symbol == defn.UncheckedVarianceAnnot =>`
	`52`	`+ x`
`51`	`53`	`case _ =>`
`52`	`54`	`foldOver(x, t)`
`53`	`55`	`}`