Handle NoType in disjointnessBoundary

dwijnand · Feb 27, 2024 · 2423198 · 2423198
1 parent 3419aae
commit 2423198
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -2863,6 +2863,8 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
         disjointnessBoundary(tp.effectiveBounds.hi)
       case tp: ErrorType =>
         defn.AnyType
+      case NoType => // ParamRef#superTypeNormalized can return NoType
+        defn.AnyType
     end disjointnessBoundary
 
     (disjointnessBoundary(tp1), disjointnessBoundary(tp2)) match