test

compiler-core/src/type_/tests/errors.rs

@@ -344,7 +344,7 @@ fn case_tuple_guard() {
 
 #[test]
 fn case_list_guard() {
-    assert_error!("case [1] { x if x == [1, 2.0] -> 1 }");
+    assert_error!("case [1] { x if x == [1, 2.0] -> 1 _ -> 2 }");
 }
 
 #[test]

compiler-core/src/type_/tests/snapshots/gleam_core__type___tests__errors__case_list_guard.snap

@@ -1,11 +1,11 @@
 ---
 source: compiler-core/src/type_/tests/errors.rs
-expression: "case [1] { x if x == [1, 2.0] -> 1 }"
+expression: "case [1] { x if x == [1, 2.0] -> 1 _ -> 2 }"
 ---
 error: Type mismatch
   ┌─ /src/one/two.gleam:1:26
   │
-1 │ case [1] { x if x == [1, 2.0] -> 1 }
+1 │ case [1] { x if x == [1, 2.0] -> 1 _ -> 2 }
   │                          ^^^
 
 Expected type:
@@ -15,16 +15,3 @@ Expected type:
 Found type:
 
     Float
-
-error: Inexhaustive patterns
-  ┌─ /src/one/two.gleam:1:1
-  │
-1 │ case [1] { x if x == [1, 2.0] -> 1 }
-  │ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-
-This case expression does not have a pattern for all possible values.
-If it is run on one of the values without a pattern then it will crash.
-
-The missing patterns are:
-
-    _