Make instance defs final

odersky · odersky · commit 923998ea4721 · 2019-01-27T15:28:57.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/ast/Desugar.scala b/compiler/src/dotty/tools/dotc/ast/Desugar.scala
@@ -685,7 +685,7 @@ object desugar {
         // implicit wrapper is typechecked in same scope as constructor, so
         // we can reuse the constructor parameters; no derived params are needed.
         DefDef(className.toTermName, constrTparams, defParamss, classTypeRef, creatorExpr)
-          .withMods(companionMods | Synthetic | Implicit)
+          .withMods(companionMods | Synthetic | Implicit | Final)
           .withSpan(cdef.span) :: Nil
       }
 
diff --git a/compiler/src/dotty/tools/dotc/parsing/Parsers.scala b/compiler/src/dotty/tools/dotc/parsing/Parsers.scala
@@ -2582,7 +2582,7 @@ object Parsers {
           if (tparams.isEmpty && vparamss.isEmpty) ModuleDef(name, templ)
           else TypeDef(name.toTypeName, templ)
         }
-      finalizeDef(instDef, addMod(mods, instanceMod), start)
+      finalizeDef(instDef, addMod(mods, instanceMod) | Final, start)
     }
 
 /* -------- TEMPLATES ------------------------------------------- */

Original file line number	Diff line number	Diff line change
`@@ -685,7 +685,7 @@ object desugar {`
`685`	`685`	`// implicit wrapper is typechecked in same scope as constructor, so`
`686`	`686`	`// we can reuse the constructor parameters; no derived params are needed.`
`687`	`687`	`DefDef(className.toTermName, constrTparams, defParamss, classTypeRef, creatorExpr)`
`688`		`- .withMods(companionMods \| Synthetic \| Implicit)`
	`688`	`+ .withMods(companionMods \| Synthetic \| Implicit \| Final)`
`689`	`689`	`.withSpan(cdef.span) :: Nil`
`690`	`690`	`}`
`691`	`691`
Original file line number	Diff line number	Diff line change
`@@ -2582,7 +2582,7 @@ object Parsers {`
`2582`	`2582`	`if (tparams.isEmpty && vparamss.isEmpty) ModuleDef(name, templ)`
`2583`	`2583`	`else TypeDef(name.toTypeName, templ)`
`2584`	`2584`	`}`
`2585`		`- finalizeDef(instDef, addMod(mods, instanceMod), start)`
	`2585`	`+ finalizeDef(instDef, addMod(mods, instanceMod) \| Final, start)`
`2586`	`2586`	`}`
`2587`	`2587`
`2588`	`2588`	`/* -------- TEMPLATES ------------------------------------------- */`