[erlang] Simplify guard tests

Summary: Tests were matching variable against variable but that's irrelevant for testing the functionality of guards. It's simpler to match constant against constant because that doesn't depend on equality model.

Reviewed By: rgrig

Differential Revision: D62235162

fbshipit-source-id: cc45016fa1c7a361b80be3380af221cd17554bf5

infer/tests/codetoanalyze/erlang/pulse/nonmatch/nonmatch_case_guards.erl

@@ -14,19 +14,19 @@
 ]).
 
 accepts_positive(X) ->
-    case X of
-        X when X > 0 -> ok
+    case 1 of
+        1 when X > 0 -> ok
     end.
 
 accepts_positive2(X) ->
-    case X of
-        X when 1 =:= 1, 1 =:= 0; X > 0 -> ok
+    case 1 of
+        1 when 1 =:= 1, 1 =:= 0; X > 0 -> ok
     end.
 
 accepts_all(X) ->
-    case X of
-        X when X > 0 -> ok;
-        X when not (X > 0) -> ok
+    case 1 of
+        1 when X > 0 -> ok;
+        1 when not (X > 0) -> ok
     end.
 
 test_accepts_positive_Bad() ->