Dotty typer deviation triggered in Unpickler

DarkDimius · DarkDimius · commit 9ce8c79d9d85 · 2014-10-30T16:28:28.000+01:00
diff --git a/src/dotty/tools/dotc/core/pickling/UnPickler.scala b/src/dotty/tools/dotc/core/pickling/UnPickler.scala
@@ -845,7 +845,8 @@ class UnPickler(bytes: Array[Byte], classRoot: ClassDenotation, moduleClassRoot:
       .select(TermRef.withSig(atp.normalizedPrefix, constr.termSymbol.asTerm))
       .appliedToTypes(targs)
     val apply = untpd.Apply(fun, args)
-    new typer.ApplyToTyped(apply, fun, constr, args, atp).result // needed to handle varargs
+    new typer.ApplyToTyped(apply, fun, constr, args, atp).result.asInstanceOf[tpd.Tree] // needed to handle varargs
+    // Dotty deviation, for scalac the last cast wouldn't be required
   }
 
   /** Read an annotation and as a side effect store it into

Original file line number	Diff line number	Diff line change
`@@ -845,7 +845,8 @@ class UnPickler(bytes: Array[Byte], classRoot: ClassDenotation, moduleClassRoot:`
`845`	`845`	`.select(TermRef.withSig(atp.normalizedPrefix, constr.termSymbol.asTerm))`
`846`	`846`	`.appliedToTypes(targs)`
`847`	`847`	`val apply = untpd.Apply(fun, args)`
`848`		`- new typer.ApplyToTyped(apply, fun, constr, args, atp).result // needed to handle varargs`
	`848`	`+ new typer.ApplyToTyped(apply, fun, constr, args, atp).result.asInstanceOf[tpd.Tree] // needed to handle varargs`
	`849`	`+ // Dotty deviation, for scalac the last cast wouldn't be required`
`849`	`850`	`}`
`850`	`851`
`851`	`852`	`/** Read an annotation and as a side effect store it into`