Refix #4936: Move check from Parsers back to Desugar

This follows again the original strategy in
1ecf67b.

This check is at the latest possible point: a few lines later,
`RetainedModuleValFlags` excludes `Abstract` and `Sealed` while
`ModuleValCreationFlags` adds `Final`.

Author: Blaisorblade

compiler/src/dotty/tools/dotc/ast/Desugar.scala

@@ -700,6 +700,17 @@ object desugar {
     val impl = mdef.impl
     val mods = mdef.mods
     def isEnumCase = mods.isEnumCase
+
+    def flagPos(flag: FlagSet) = mods.mods.find(_.flags == flag).get.pos
+
+    if (mods.is(Abstract))
+      ctx.error(hl"""$Abstract modifier cannot be used for objects""", flagPos(Abstract))
+    if (mods.is(Sealed))
+      ctx.error(hl"""$Sealed modifier is redundant for objects""", flagPos(Sealed))
+    // Maybe this should be an error; see https://github.com/scala/bug/issues/11094.
+    if (mods.is(Final))
+      ctx.warning(hl"""$Final modifier is redundant for objects""", flagPos(Final))
+
     if (mods is Package)
       PackageDef(Ident(moduleName), cpy.ModuleDef(mdef)(nme.PACKAGE, impl).withMods(mods &~ Package) :: Nil)
     else if (isEnumCase)

compiler/src/dotty/tools/dotc/parsing/Parsers.scala

@@ -2422,16 +2422,6 @@ object Parsers {
 
     def objectDefRest(start: Offset, mods: Modifiers, name: TermName): ModuleDef = {
       val template = templateOpt(emptyConstructor)
-
-      def flagPos(flag: FlagSet) = mods.mods.find(_.flags == flag).get.pos
-      if (mods is Abstract)
-        syntaxError(hl"""${Abstract} modifier cannot be used for objects""", flagPos(Abstract))
-      if (mods is Sealed)
-        syntaxError(hl"""${Sealed} modifier is redundant for objects""", flagPos(Sealed))
-      // Maybe this should be an error; see https://github.com/scala/bug/issues/11094.
-      if (mods is Final)
-        warning(hl"""${Final} modifier is redundant for objects""", source atPos flagPos(Final))
-
       finalizeDef(ModuleDef(name, template), mods, start)
     }