Add comment

scala · Oct 28, 2024 · cb9fcd8 · cb9fcd8
1 parent 4f775fa
commit cb9fcd8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala b/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala
@@ -941,6 +941,7 @@ object SpaceEngine {
               val msg = if nullOnly then MatchCaseOnlyNullWarning() else MatchCaseUnreachable()
               report.warning(msg, pat.srcPos)
 
+            // in redundancy check, take guard as false in order to soundly approximate
             val newPrev = if guard.isEmpty then covered :: prevs else prevs
             recur(rest, newPrev, Nil)