simplify assertion

Co-authored-by: Lukas Rytz <[email protected]>

Author: olhotak

compiler/src/dotty/tools/dotc/transform/UnrollDefinitions.scala

@@ -80,7 +80,7 @@ class UnrollDefinitions extends MacroTransform, IdentityDenotTransformer {
           if indices.nonEmpty then
             // pre-validation should have occurred in posttyper
             assert(!annotated.isLocal, i"$annotated is local")
-            assert(annotated.isEffectivelyFinal || annotated.isConstructor || annotated.owner.is(ModuleClass) || annotated.name.is(DefaultGetterName),
+            assert(annotated.isEffectivelyFinal || annotated.name.is(DefaultGetterName),
               i"$annotated is not final&concrete, or a constructor")
           indices
       })