Preserve attachments in Mixin phase

HarrisL2 · HarrisL2 · commit 3f9987c3d74f · 2025-07-31T15:23:47.000-04:00
diff --git a/compiler/src/dotty/tools/dotc/transform/Mixin.scala b/compiler/src/dotty/tools/dotc/transform/Mixin.scala
@@ -226,7 +226,7 @@ class Mixin extends MiniPhase with SymTransformer { thisPhase =>
       case _ =>
         val Apply(sel @ Select(New(_), nme.CONSTRUCTOR), args) = tree: @unchecked
         val (callArgs, initArgs) = if (tree.symbol.owner.is(Trait)) (Nil, args) else (args, Nil)
-        (superRef(tree.symbol, tree.span).appliedToTermArgs(callArgs), Nil, initArgs)
+        (superRef(tree.symbol, tree.span).appliedToTermArgs(callArgs).withAttachmentsFrom(sel), Nil, initArgs)
     }
 
     val superCallsAndArgs: Map[Symbol, (Tree, List[Tree], List[Tree])] = (

Original file line number	Diff line number	Diff line change
`@@ -226,7 +226,7 @@ class Mixin extends MiniPhase with SymTransformer { thisPhase =>`
`226`	`226`	`case _ =>`
`227`	`227`	`val Apply(sel @ Select(New(_), nme.CONSTRUCTOR), args) = tree: @unchecked`
`228`	`228`	`val (callArgs, initArgs) = if (tree.symbol.owner.is(Trait)) (Nil, args) else (args, Nil)`
`229`		`- (superRef(tree.symbol, tree.span).appliedToTermArgs(callArgs), Nil, initArgs)`
	`229`	`+ (superRef(tree.symbol, tree.span).appliedToTermArgs(callArgs).withAttachmentsFrom(sel), Nil, initArgs)`
`230`	`230`	`}`
`231`	`231`
`232`	`232`	`val superCallsAndArgs: Map[Symbol, (Tree, List[Tree], List[Tree])] = (`