Fix 1106 (#1135)

johnynek · Feb 15, 2024 · ce1ffdd · ce1ffdd
1 parent f48ff56
commit ce1ffdd
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/core/src/test/scala/org/bykn/bosatsu/TotalityTest.scala b/core/src/test/scala/org/bykn/bosatsu/TotalityTest.scala
@@ -501,14 +501,7 @@ enum Either: Left(l), Right(r)
   }
 
   override def missingBranchesIfAddedRegressions: List[List[Pat]] = {
-    // these are ill typed because the first pattern matches type
-    // List[String] but the second matches List[List[String]]
-    /*
-    val r1 @ (_ :: _ :: _) = patterns("""[[*foo, "$.{_}", "1"], [[_, *_]]]""")
-
     patterns("""[[*foo, "$.{_}", "$.{_}"], [[b, *_]]]""") ::
-    r1 ::
-      */
     Nil
   }