vcParents: add ensureConforms to class tag generated for arrays of value classes

VladimirNik · VladimirNik · commit 90e9bd294bf8 · 2016-05-04T02:48:42.000+02:00
diff --git a/src/dotty/tools/dotc/transform/VCParents.scala b/src/dotty/tools/dotc/transform/VCParents.scala
@@ -152,7 +152,8 @@ class VCParents extends MiniPhaseTransform with DenotTransformer {
       case Apply(TypeApply(_, tptr :: _), _) if (tree.fun.symbol eq scala2ClassTagApplyMethod) => {
         val claz = tptr.tpe.classSymbol
         if (ValueClasses.isDerivedValueClass (claz) )
-          ref(claz.companionModule) else tree
+          //TODO: add ensureConforms to fix -Ycheck:all for array of instances of case class X[T](val x: T) extends AnyVal
+          ref(claz.companionModule).ensureConforms(tree.tpe) else tree
         }
       case _ => tree
     }

Original file line number	Diff line number	Diff line change
`@@ -152,7 +152,8 @@ class VCParents extends MiniPhaseTransform with DenotTransformer {`
`152`	`152`	`case Apply(TypeApply(_, tptr :: _), _) if (tree.fun.symbol eq scala2ClassTagApplyMethod) => {`
`153`	`153`	`val claz = tptr.tpe.classSymbol`
`154`	`154`	`if (ValueClasses.isDerivedValueClass (claz) )`
`155`		`- ref(claz.companionModule) else tree`
	`155`	`+ //TODO: add ensureConforms to fix -Ycheck:all for array of instances of case class X[T](val x: T) extends AnyVal`
	`156`	`+ ref(claz.companionModule).ensureConforms(tree.tpe) else tree`
`156`	`157`	`}`
`157`	`158`	`case _ => tree`
`158`	`159`	`}`