From f4275e22e000541eb619808723b70bd64b9b4873 Mon Sep 17 00:00:00 2001 From: Jason Zaugg Date: Mon, 6 Jul 2015 12:23:52 +1000 Subject: Fix compiler crash with value class in result position We were leaking untyped trees out of the macro, which crashed in refchecks. This commit proactively typechecks the tree returned by `mkZero`. --- src/main/scala/scala/async/internal/TransformUtils.scala | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/main') diff --git a/src/main/scala/scala/async/internal/TransformUtils.scala b/src/main/scala/scala/async/internal/TransformUtils.scala index bd7093f..df958b8 100644 --- a/src/main/scala/scala/async/internal/TransformUtils.scala +++ b/src/main/scala/scala/async/internal/TransformUtils.scala @@ -343,9 +343,8 @@ private[async] trait TransformUtils { New(TypeTree(baseType)))), tpSym.asClass.primaryConstructor) val zero = gen.mkMethodCall(target, argZero :: Nil) - // restore the original type which we might otherwise have weakened with `baseType` above - gen.mkCast(zero, tp) + c.typecheck(atMacroPos(gen.mkCast(zero, tp))) } else { gen.mkZero(tp) } -- cgit v1.2.3