fixup: Add nil case for i

josefs · Sep 26, 2023 · d3b5fa0 · d3b5fa0
1 parent b2befb7
commit d3b5fa0
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/test/known_problems/should_pass/guard_negative_refinement_should_pass.erl b/test/known_problems/should_pass/guard_negative_refinement_should_pass.erl
@@ -9,7 +9,8 @@ i(State) when map_get(value, State) /= nil ->
     case State of
         #{value := Val} ->
             add_one(Val)
-    end.
+    end;
+i(nil) -> 0.
 
 -spec add_one(integer()) -> integer().
 add_one(N) -> N + 1.