We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9c8b63d commit 36d214eCopy full SHA for 36d214e
presentation-compiler/src/main/dotty/tools/pc/HoverProvider.scala
@@ -186,7 +186,8 @@ object HoverProvider:
186
case RefinedType(_, refName, tpe) if (name == refName.toString() || refName.toString() == nme.Fields.toString()) =>
187
val resultType =
188
rest match
189
- case Select(_, asInstanceOf) :: TypeApply(_, List(tpe)) :: _ if asInstanceOf == nme.asInstanceOfPM => tpe.tpe
+ case Select(_, asInstanceOf) :: TypeApply(_, List(tpe)) :: _ if asInstanceOf == nme.asInstanceOfPM =>
190
+ tpe.tpe.widenTermRefExpr.deepDealias
191
case _ if n == nme.selectDynamic => tpe.resultType
192
case _ => tpe
193
0 commit comments