Added isRef method to determine whether a type is a typeref that refers to a symbol.

The alternative (tpe eq sym.typeConstructor) does not work because types are not unique.
The alternative (tpe.typeSymbol == sym) does not work because other types than TypeRefs have typeSymbols.

1 files changed, 2 insertions, 2 deletions

diff --git a/src/dotty/tools/dotc/core/transform/Erasure.scala b/src/dotty/tools/dotc/core/transform/Erasure.scala
index 6bb07e699..201dd107f 100644
--- a/src/dotty/tools/dotc/core/transform/Erasure.scala
+++ b/src/dotty/tools/dotc/core/transform/Erasure.scala
@@ -131,10 +131,10 @@ object Erasure {
   }
 
   def resultErasure(tp: Type)(implicit ctx: Context) =
-    if (tp.isClassType(defn.UnitClass)) tp else erasure(tp)
+    if (tp isRef defn.UnitClass) tp else erasure(tp)
 
   def removeLaterObjects(trs: List[TypeRef])(implicit ctx: Context): List[TypeRef] = trs match {
-    case tr :: trs1 => tr :: trs1.filterNot(_.isClassType(defn.ObjectClass))
+    case tr :: trs1 => tr :: trs1.filterNot(_ isRef defn.ObjectClass)
     case nil => nil
   }
 }