Always keep annotations on value parameters

odersky · odersky · commit e9bc882fe294 · 2020-03-24T12:10:50.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/ast/Desugar.scala b/compiler/src/dotty/tools/dotc/ast/Desugar.scala
@@ -388,7 +388,7 @@ object desugar {
   }
   private def toDefParam(vparam: ValDef, keepAnnotations: Boolean): ValDef = {
     var mods = vparam.rawMods
-    if (!keepAnnotations) mods = mods.withAnnotations(Nil)
+    //if (!keepAnnotations) mods = mods.withAnnotations(Nil)
     vparam.withMods(mods & (GivenOrImplicit | Erased) | Param)
   }
 

Original file line number	Diff line number	Diff line change
`@@ -388,7 +388,7 @@ object desugar {`
`388`	`388`	`}`
`389`	`389`	`private def toDefParam(vparam: ValDef, keepAnnotations: Boolean): ValDef = {`
`390`	`390`	`var mods = vparam.rawMods`
`391`		`- if (!keepAnnotations) mods = mods.withAnnotations(Nil)`
	`391`	`+ //if (!keepAnnotations) mods = mods.withAnnotations(Nil)`
`392`	`392`	`vparam.withMods(mods & (GivenOrImplicit \| Erased) \| Param)`
`393`	`393`	`}`
`394`	`394`