Update compiler/src/dotty/tools/dotc/core/TypeComparer.scala

scala · Mar 28, 2024 · b9430cb · b9430cb
1 parent 9c80a7c
commit b9430cb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -2529,6 +2529,7 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
         if isSuperOf(sub) then NoType else tp
   end dropIfSuper
 
+  /** If some (|-operand of) `tp` is a subtype of `sup` replace it with `NoType`. */
   private def dropIfSub(tp: Type, sup: Type, canConstrain: Boolean): Type =
 
     def isSubOf(sup: Type): Boolean = sup match