dealias type in selectable

kasiaMarek · Dec 13, 2024 · ea64296 · ea64296
1 parent 00cacd0
commit ea64296
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/presentation-compiler/src/main/dotty/tools/pc/HoverProvider.scala b/presentation-compiler/src/main/dotty/tools/pc/HoverProvider.scala
@@ -186,7 +186,8 @@ object HoverProvider:
           case RefinedType(_, refName, tpe) if (name == refName.toString() || refName.toString() == nme.Fields.toString()) =>
             val resultType =
               rest match
-                case Select(_, asInstanceOf) :: TypeApply(_, List(tpe)) :: _ if asInstanceOf == nme.asInstanceOfPM => tpe.tpe
+                case Select(_, asInstanceOf) :: TypeApply(_, List(tpe)) :: _ if asInstanceOf == nme.asInstanceOfPM =>
+                    tpe.tpe.widenTermRefExpr.deepDealias
                 case _ if n == nme.selectDynamic => tpe.resultType
                 case _ => tpe