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 a917c93 commit 4ae4273Copy full SHA for 4ae4273
compiler/src/dotty/tools/dotc/transform/IsInstanceOfChecker.scala
@@ -93,9 +93,7 @@ object Checkable {
93
case tp: TypeRef if tp.underlying.isInstanceOf[TypeBounds] =>
94
val lo = this(tp.info.loBound)
95
val hi = this(tp.info.hiBound)
96
- if (variance == 0) range(lo, hi)
97
- else if (variance == 1) hi
98
- else lo
+ range(lo, hi)
99
case _ =>
100
mapOver(tp)
101
}
0 commit comments