Fix #7529: Don't drop modifiers when desugaring extension methods

odersky · odersky · commit 70db293bdaa7 · 2019-11-18T13:01:31.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/ast/Desugar.scala b/compiler/src/dotty/tools/dotc/ast/Desugar.scala
@@ -901,7 +901,7 @@ object desugar {
           mdef
         }
         else cpy.DefDef(mdef)(tparams = tparams ++ mdef.tparams, vparamss = leadingParams :: mdef.vparamss)
-          .withFlags(Extension)
+          .withMods(mdef.mods | Extension)
       case mdef: Import =>
         mdef
       case mdef =>
diff --git a/tests/neg/i7529.scala b/tests/neg/i7529.scala
@@ -0,0 +1,4 @@
+given fooOps: [A](a: A) with
+
+  @nonsense    // error: not found: nonsense
+  def foo = ???

Original file line number	Diff line number	Diff line change
`@@ -901,7 +901,7 @@ object desugar {`
`901`	`901`	`mdef`
`902`	`902`	`}`
`903`	`903`	`else cpy.DefDef(mdef)(tparams = tparams ++ mdef.tparams, vparamss = leadingParams :: mdef.vparamss)`
`904`		`- .withFlags(Extension)`
	`904`	`+ .withMods(mdef.mods \| Extension)`
`905`	`905`	`case mdef: Import =>`
`906`	`906`	`mdef`
`907`	`907`	`case mdef =>`