Changed parent reference from type to symbol

Author: Wojtechnology

compiler/src/dotty/tools/dotc/reporting/diagnostic/messages.scala

@@ -2065,13 +2065,13 @@ object messages {
       hl"An object that contains ${"@static"} members must have a companion class."
   }
 
-  case class PolymorphicMethodMissingTypeInParent(rsym: Symbol, parentTpt: tpd.Tree)(implicit ctx: Context)
+  case class PolymorphicMethodMissingTypeInParent(rsym: Symbol, parentSym: Symbol)(implicit ctx: Context)
   extends Message(PolymorphicMethodMissingTypeInParentID) {
     val kind = "Syntax"
-    val msg = hl"polymorphic refinement $rsym without matching type in parent $parentTpt is no longer allowed"
+    val msg = hl"polymorphic refinement $rsym without matching type in parent $parentSym is no longer allowed"
     val explanation =
-      hl"""Polymorphic $rsym is not allowed in the structural refinement of $parentTpt because
-          |$rsym does not override any symbol in $parentTpt. Structural refinement does not allow for
+      hl"""Polymorphic $rsym is not allowed in the structural refinement of $parentSym because
+          |$rsym does not override any method in $parentSym. Structural refinement does not allow for
           |polymorphic methods."""
   }
 }

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

@@ -1169,7 +1169,8 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
       checkRefinementNonCyclic(refinement, refineCls, seen)
       val rsym = refinement.symbol
       if (rsym.info.isInstanceOf[PolyType] && rsym.allOverriddenSymbols.isEmpty)
-        ctx.error(PolymorphicMethodMissingTypeInParent(rsym, tpt1), refinement.pos)    }
+        ctx.error(PolymorphicMethodMissingTypeInParent(rsym, tpt1.symbol), refinement.pos)
+    }
     assignType(cpy.RefinedTypeTree(tree)(tpt1, refinements1), tpt1, refinements1, refineCls)
   }
 

compiler/test/dotty/tools/dotc/reporting/ErrorMessagesTests.scala

@@ -1290,8 +1290,8 @@ class ErrorMessagesTests extends ErrorMessagesTest {
       implicit val ctx: Context = ictx
 
       assertMessageCount(1, messages)
-      val PolymorphicMethodMissingTypeInParent(rsym, parentTpt) = messages.head
+      val PolymorphicMethodMissingTypeInParent(rsym, parentSym) = messages.head
       assertEquals("method get", rsym.show)
-      assertEquals("Object", parentTpt.show)
+      assertEquals("class Object", parentSym.show)
     }
 }