Generalize NewWithArgs

I noted another useless boxing (in Positioned.scala), where we have ``` (new Span(x): Span).coord ``` The allocation should be eliminated but was not.
scala · Jul 23, 2020 · 47916ad · 47916ad
1 parent d4cd2c0
commit 47916ad
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/compiler/src/dotty/tools/dotc/transform/TreeExtractors.scala b/compiler/src/dotty/tools/dotc/transform/TreeExtractors.scala
@@ -24,6 +24,8 @@ object TreeExtractors {
     def unapply(t: Tree)(using Context): Option[(Type, List[Tree])] = t match {
       case Apply(Select(New(_), nme.CONSTRUCTOR), args) =>
         Some((t.tpe, args))
+      case Typed(expr, _) => unapply(expr)
+      case Block(Nil, expr) => unapply(expr)
       case _ =>
         None
     }