Fix #9150: Dealias reference to singleton

Author: nicolasstucki

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

@@ -679,7 +679,7 @@ class Inliner(call: tpd.Tree, rhsToInline: tpd.Tree)(using Context) {
           val inlinedCtx = ctx.withSource(inlinedMethod.topLevelClass.source)
           paramProxy.get(tree.tpe) match {
             case Some(t) if tree.isTerm && t.isSingleton =>
-              val inlinedSingleton = singleton(t).withSpan(argSpan)
+              val inlinedSingleton = singleton(t.dealias).withSpan(argSpan)
               inlinedFromOutside(inlinedSingleton)(tree.span)
             case Some(t) if tree.isType =>
               TypeTree(t).withSpan(argSpan)

tests/pos/i9150-a.scala

@@ -0,0 +1,4 @@
+import scala.compiletime.erasedValue
+
+inline def fooErased[T] = inline erasedValue[T] match { case _ => }
+val f = fooErased[EmptyTuple]

tests/pos/i9150-b.scala

@@ -0,0 +1,7 @@
+import scala.compiletime.erasedValue
+
+type Foo = Foo.type
+object Foo
+
+inline def fooErased[T] = inline erasedValue[T] match { case _ => }
+val f = fooErased[Foo]