bugfix: Fix issues after backporting

Author: tgodzik

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/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.*
@@ -136,35 +137,6 @@ class CodeActionTest extends DottyTest:
          afterPhase = "patternMatcher"
       )
 
-  @Test def removeNN =
-    val ctxx = newContext
-    ctxx.setSetting(ctxx.settings.YexplicitNulls, true)
-    checkCodeAction(
-      code =
-        """|val s: String|Null = "foo".nn
-           |""".stripMargin,
-         title = "Remove unnecessary .nn",
-      expected =
-        """|val s: String|Null = "foo"
-           |""".stripMargin,
-      ctxx = ctxx
-      )
-
-
-  @Test def removeNN2 =
-    val ctxx = newContext
-    ctxx.setSetting(ctxx.settings.YexplicitNulls, true)
-    checkCodeAction(
-      code =
-        """val s: String|Null = null.nn
-           |""".stripMargin,
-         title = "Remove unnecessary .nn",
-      expected =
-        """val s: String|Null = null
-           |""".stripMargin,
-      ctxx = ctxx
-      )
-
   @Test def addNN1 =
     val ctxx = newContext
     ctxx.setSetting(ctxx.settings.YexplicitNulls, true)
@@ -278,12 +250,12 @@ class CodeActionTest extends DottyTest:
     ctxx.setSetting(ctxx.settings.YexplicitNulls, true)
     checkCodeAction(
       code =
-        """given ctx: String | Null = null
+        """given ctx: (String | Null) = null
           |def f(using c: String): String = c
           |val s: String = f(using ctx)""".stripMargin,
         title = "Add .nn",
       expected =
-        """given ctx: String | Null = null
+        """given ctx: (String | Null) = null
           |def f(using c: String): String = c
           |val s: String = f(using ctx.nn)""".stripMargin,
       ctxx = ctxx
@@ -295,8 +267,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/neg/i23119.check

@@ -9,8 +9,8 @@
   |          given myGiven: Option[List[String]]  // define an instance
   |          given myGiven @ Option[List[String]] // as a pattern variable
 -- [E161] Naming Error: tests/neg/i23119.scala:18:8 --------------------------------------------------------------------
-18 |  given [A] => List[A] = ??? // error
-   |  ^^^^^^^^^^^^^^^^^^^^^^^^^^
+18 |  given [A]: List[A] = ??? // error
+   |  ^^^^^^^^^^^^^^^^^^^^^^^^
    |  given_List_A is already defined as given instance given_List_A
    |
    |  Provide an explicit, unique name to given definitions,

tests/neg/i23119.scala

@@ -14,6 +14,6 @@
 //  duplicate pattern variable: given_Option_List
 
 def also =
-  given [A] => List[A] = ???
-  given [A] => List[A] = ??? // error
+  given [A]: List[A] = ???
+  given [A]: List[A] = ??? // error
   ()

tests/neg/i23832b.check

@@ -1,5 +1,5 @@
 -- [E120] Naming Error: tests/neg/i23832b.scala:9:8 --------------------------------------------------------------------
-9 |  given [A] => Special[Option[A]] = ??? // error
+9 |  given [A]: Special[Option[A]] = ??? // error
   |        ^
   |        Conflicting definitions:
   |        final lazy given val given_Special_Option: Special[Option[Long]] in object syntax at line 8 and

tests/neg/i23832b.scala

@@ -6,4 +6,4 @@ trait Special[A]
 
 object syntax:
   given Special[Option[Long]] = ???
-  given [A] => Special[Option[A]] = ??? // error
+  given [A]: Special[Option[A]] = ??? // error