Merge pull request #13748 from dotty-staging/fix-#i13422

Widen qualifier skolems

compiler/src/scala/quoted/runtime/impl/QuotesImpl.scala

@@ -1777,7 +1777,7 @@ class QuotesImpl private (using val ctx: Context) extends Quotes, QuoteUnpickler
 
     given NamedTypeMethods: NamedTypeMethods with
       extension (self: NamedType)
-        def qualifier: TypeRepr = self.prefix
+        def qualifier: TypeRepr = self.prefix.widenSkolem
         def name: String = self.name.toString
       end extension
     end NamedTypeMethods

tests/pos-macros/i13422/Macro_1.scala

@@ -0,0 +1,9 @@
+import scala.quoted._
+
+inline def rule(inline r: Any): Unit = ${ ruleImpl('r) }
+
+def ruleImpl(r: Expr[Any])(using Quotes): Expr[Unit] = {
+  import quotes.reflect.*
+  r.asTerm.show
+  '{}
+}

tests/pos-macros/i13422/Test_2.scala

@@ -0,0 +1,12 @@
+def test = rule {
+  foo(bar(baz))
+}
+
+def foo[I](r: I): Nothing = ???
+
+def bar(i: Baz): i.Out = ???
+
+sealed trait Baz:
+  type Out = Nothing match { case Nothing => Nothing }
+
+def baz: Baz = ???