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 0be70e7 commit 81da0f6Copy full SHA for 81da0f6
compiler/src/dotty/tools/dotc/transform/TypeTestsCasts.scala
@@ -81,8 +81,9 @@ object TypeTestsCasts {
81
case _: MatchType =>
82
tp // break cycles
83
case tp: TypeRef if isBounds(tp.underlying) =>
84
- val lo = apply(tp.info.loBound)
85
- val hi = apply(tp.info.hiBound)
+ def lo = apply(tp.info.loBound.subst(tp.symbol :: Nil, WildcardType :: Nil))
+ def hi = apply(tp.info.hiBound.subst(tp.symbol :: Nil, WildcardType :: Nil))
86
+
87
range(lo, hi)
88
case _ =>
89
mapOver(tp)
0 commit comments