diff options
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/results/refine_failing')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/refine_failing | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/refine_failing b/lib/dialyzer/test/small_SUITE_data/results/refine_failing new file mode 100644 index 0000000000..2bf67c9d81 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/results/refine_failing @@ -0,0 +1,2 @@ + +refine_failing.erl:25: The call refine_failing:update_one(F::any(),Ds::{_,non_neg_integer()},[{_,non_neg_integer()},...]) will never return since it differs in the 2nd argument from the success typing arguments: (any(),[{_,non_neg_integer()}],[{_,non_neg_integer()}]) |