diff options
Diffstat (limited to 'src/main/scala/scala/async/internal/TransformUtils.scala')
| -rw-r--r-- | src/main/scala/scala/async/internal/TransformUtils.scala | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/src/main/scala/scala/async/internal/TransformUtils.scala b/src/main/scala/scala/async/internal/TransformUtils.scala index 665dead..9ae48ed 100644 --- a/src/main/scala/scala/async/internal/TransformUtils.scala +++ b/src/main/scala/scala/async/internal/TransformUtils.scala @@ -327,6 +327,32 @@ private[async] trait TransformUtils { else NoPrefix } + private def derivedValueClassUnbox(cls: Symbol) = + (cls.info.decls.find(sym => sym.isMethod && sym.asTerm.isParamAccessor) getOrElse NoSymbol) + + def mkZero(tp: Type): Tree = { + if (tp.typeSymbol.asClass.isDerivedValueClass) { + val argZero = mkZero(derivedValueClassUnbox(tp.typeSymbol).infoIn(tp).resultType) + val baseType = tp.baseType(tp.typeSymbol) // use base type here to dealias / strip phantom "tagged types" etc. + + // By explicitly attributing the types and symbols here, we subvert privacy. + // Otherwise, ticket86PrivateValueClass would fail. + + // Approximately: + // q"new ${valueClass}[$..targs](argZero)" + val target: Tree = gen.mkAttributedSelect( + c.typecheck(atMacroPos( + New(TypeTree(baseType)))), tp.typeSymbol.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) + } else { + gen.mkZero(tp) + } + } + // ===================================== // Copy/Pasted from Scala 2.10.3. See SI-7694. private lazy val UncheckedBoundsClass = { |