lib/dialyzer/test/small_SUITE_data/results/failing_guard1


1
2
3
4

failing_guard1.erl:12: Guard test float() =:= 2 can never succeed
failing_guard1.erl:13: Guard test integer() =:= float() can never succeed
failing_guard1.erl:14: Guard test -2 | -1 | 0 | 1 | 2 =:= float() can never succeed