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 cf9883f commit d705c1bCopy full SHA for d705c1b
compiler/src/dotty/tools/dotc/core/Types.scala
@@ -375,7 +375,7 @@ object Types extends TypeUtils {
375
case tp: FlexibleType => false
376
case tp: ClassInfo => !tp.cls.isNullableClass && !tp.isNothingType
377
case tp: AppliedType => tp.superType.isNotNull
378
- case tp: TypeBounds => tp.lo.isNotNull
+ case tp: TypeBounds => tp.hi.isNotNull
379
case tp: TypeProxy => tp.underlying.isNotNull
380
case AndType(tp1, tp2) => tp1.isNotNull || tp2.isNotNull
381
case OrType(tp1, tp2) => tp1.isNotNull && tp2.isNotNull
0 commit comments