fix: synthesise value of this.type in ValueOf (#23094)

hamzaremmal · web-flow · commit 453f94df6ff5 · 2025-05-03T14:29:25.000+02:00
Closes #23086
diff --git a/compiler/src/dotty/tools/dotc/typer/Synthesizer.scala b/compiler/src/dotty/tools/dotc/typer/Synthesizer.scala
@@ -232,6 +232,8 @@ class Synthesizer(typer: Typer)(using @constructorOnly c: Context):
             withNoErrors(success(Literal(Constant(()))))
           case n: TermRef =>
             withNoErrors(success(ref(n)))
+          case ts: ThisType =>
+            withNoErrors(success(This(ts.cls)))
           case tp =>
             EmptyTreeNoError
       case _ =>
diff --git a/tests/pos/i23086.scala b/tests/pos/i23086.scala
@@ -0,0 +1,2 @@
+class Test:
+  val _: this.type = summon[ValueOf[this.type]].value

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+class Test:`
	`2`	`+ val _: this.type = summon[ValueOf[this.type]].value`