Backport "Fix implicit scope liftToAnchors for parameter lower bounds" to 3.3 LTS

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

@@ -1657,7 +1657,7 @@ object desugar {
         case pat @ Bind(nme.WILDCARD, body) =>
           val name =
             body match
-            case Typed(Ident(nme.WILDCARD), tpt) if pat.mods.is(Given) => inventGivenName(tpt)
+            case Typed(Ident(nme.WILDCARD), tpt) if pat.mods.is(Given) => inventGivenOrExtensionName(tpt)
             case _ => UniqueName.fresh()
           (cpy.Bind(pat)(name, body).withMods(pat.mods), Ident(name))
         case Bind(name, _) => (pat, Ident(name))

compiler/src/dotty/tools/dotc/transform/init/Checker.scala

@@ -46,7 +46,7 @@ class Checker extends Phase:
     cancellable {
       val classes = traverser.getClasses()
 
-      if ctx.settings.Whas.safeInit then
+      if ctx.settings.Whas.checkInit then
         Semantic.checkClasses(classes)(using checkCtx)
     }
 

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

@@ -790,7 +790,7 @@ trait ImplicitRunInfo:
               WildcardType
             else
               seen += t
-              t.superType match
+              t.underlying match
                 case TypeBounds(lo, hi) =>
                   if lo.isBottomTypeAfterErasure then apply(hi)
                   else AndType.make(apply(lo), apply(hi))

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

@@ -53,6 +53,7 @@ import config.Config
 import transform.CheckUnused.OriginalName
 
 import scala.annotation.constructorOnly
+import scala.util.chaining.scalaUtilChainingOps
 import dotty.tools.dotc.rewrites.Rewrites
 
 object Typer {

compiler/test/dotty/tools/dotc/reporting/CodeActionTest.scala

@@ -4,6 +4,7 @@ import dotty.tools.DottyTest
 import dotty.tools.dotc.rewrites.Rewrites
 import dotty.tools.dotc.rewrites.Rewrites.ActionPatch
 import dotty.tools.dotc.util.SourceFile
+import dotty.tools.dotc.core.Contexts._
 
 import scala.annotation.tailrec
 import scala.jdk.CollectionConverters.*
@@ -295,8 +296,8 @@ class CodeActionTest extends DottyTest:
     val rep = new StoreReporter(null) with UniqueMessagePositions with HideNonSensicalMessages
     initialCtx.setReporter(rep).withoutColors
 
-  private def checkCodeAction(code: String, title: String, expected: String, afterPhase: String = "typer") =
-    ctx = newContext
+  private def checkCodeAction(code: String, title: String, expected: String, afterPhase: String = "typer", ctxx: Context = newContext) =
+    ctx = ctxx
     val source = SourceFile.virtual("test", code).content
     val runCtx = checkCompile(afterPhase, code) { (_, _) => () }
     val diagnostics = runCtx.reporter.removeBufferedMessages

tests/pos/i21951b.scala

@@ -0,0 +1,12 @@
+
+class A
+object A:
+  given A = ???
+
+class B[X]
+object B:
+  given g[T]: B[T] = ???
+
+object Test:
+  def foo[X >: A] = summon[X] // was error
+  def bar[F[T] >: B[T]] = summon[F[Int]] // was error