Integrate tests in method where they are needed

Author: odersky

compiler/src/dotty/tools/dotc/typer/Namer.scala

@@ -1154,21 +1154,17 @@ class Namer { typer: Typer =>
           .flatMap(path.tpe.memberBasedOnFlags(_, excluded = Private|Given|ConstructorProxy).alternatives)
           .foreach(addForwarder(name, _, span)) // ignore if any are not added
 
-      val fromCaseClass = path.tpe.widen.classSymbols.exists(_.is(Case))
-
-      /** Is symbol from a base trait of a case class so that it will be synthesized
-       *  in the case class itself. Such members are treated like synthetic members,
-       *  i.e. they don't get export forwarders.
-       */
-      def isCaseClassSynthesized(mbr: Symbol) =
-        fromCaseClass && defn.caseClassSynthesized.contains(mbr)
-
       def addWildcardForwarders(seen: List[TermName], span: Span): Unit =
         val nonContextual = mutable.HashSet(seen: _*)
+        val fromCaseClass = path.tpe.widen.classSymbols.exists(_.is(Case))
+        def isCaseClassSynthesized(mbr: Symbol) =
+          fromCaseClass && defn.caseClassSynthesized.contains(mbr)
         for mbr <- path.tpe.membersBasedOnFlags(required = EmptyFlags, excluded = PrivateOrSynthetic) do
           if !mbr.symbol.isSuperAccessor && !isCaseClassSynthesized(mbr.symbol) then
             // Scala 2 superaccessors have neither Synthetic nor Artfact set, so we
             // need to filter them out here (by contrast, Scala 3 superaccessors are Artifacts)
+            // Symbols from base traits of case classes that will get synthesized implementations
+            // at PostTyper are also excluded.
             val alias = mbr.name.toTermName
             if mbr.symbol.is(Given) then
               if !seen.contains(alias) && mbr.matchesImportBound(givenBound) then