Fix crash: ensure class type is applied

Otherwise, looking up members will crash the compiler

Author: liufengyun

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

@@ -190,7 +190,7 @@ object Checking {
   private def promote(pot: Refinable, source: Tree)(using state: State): Errors = trace("promoting " + pot.show, init, errs => Errors.show(errs.asInstanceOf[Errors])) {
     pot match
     case pot: ThisRef =>
-      val classRef = state.thisClass.typeRef
+      val classRef = state.thisClass.info.asInstanceOf[ClassInfo].appliedRef
       val allInit = classRef.fields.forall { denot =>
         val sym = denot.symbol
         sym.isOneOf(Flags.Lazy | Flags.Deferred) || state.fieldsInited.contains(sym)
@@ -203,7 +203,7 @@ object Checking {
         PromoteThis(pot, source, state.path).toErrors
 
     case warm: Warm =>
-      val classRef = warm.classSymbol.typeRef
+      val classRef = warm.classSymbol.info.asInstanceOf[ClassInfo].appliedRef
 
       // only check small classes
       val methods = classRef.decls.filter(sym => sym.is(Flags.Method))

tests/init/crash/singleton-ops-test-issue-8287.scala

@@ -0,0 +1,13 @@
+import scala.compiletime.ops.int._
+
+object Test {
+  class Vec[S <: Int] {
+    infix def concat [RS <: Int](that : Vec[RS]) : Vec[S + RS] = new Vec[S + RS]
+  }
+
+  val v1 = new Vec[1]
+  val v2 = new Vec[2]
+  val v3 : Vec[3] = v1 concat v2
+  val v3a = v1 concat v2
+  val v3b : Vec[3] = v3a
+}