File 0903-dialyzer-Fix-test-case-in-behaviour_SUITE.patch of Package erlang
From fd03975b839d2a6d1d663f644e80695c0ee9faa6 Mon Sep 17 00:00:00 2001
From: lucioleKi <isabell@erlang.org>
Date: Wed, 12 Mar 2025 15:11:00 +0100
Subject: [PATCH] dialyzer: Fix test case in `behaviour_SUITE`
Fix expected result for `gen_server_incorrect_args` in `behaviour_SUITE`.
---
.../test/behaviour_SUITE_data/results/gen_server_incorrect_args | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/lib/dialyzer/test/behaviour_SUITE_data/results/gen_server_incorrect_args b/lib/dialyzer/test/behaviour_SUITE_data/results/gen_server_incorrect_args
index 6a9aacc77e..6b201cbfe6 100644
--- a/lib/dialyzer/test/behaviour_SUITE_data/results/gen_server_incorrect_args
+++ b/lib/dialyzer/test/behaviour_SUITE_data/results/gen_server_incorrect_args
@@ -1,5 +1,5 @@
gen_server_incorrect_args.erl:3:2: Undefined callback function handle_cast/2 (behaviour gen_server)
gen_server_incorrect_args.erl:3:2: Undefined callback function init/1 (behaviour gen_server)
-gen_server_incorrect_args.erl:7:1: The inferred return type of handle_call/3 ({'no'} | {'ok'}) has nothing in common with {'noreply',_} | {'noreply',_,'hibernate' | 'infinity' | non_neg_integer() | {'continue',_}} | {'reply',_,_} | {'stop',_,_} | {'reply',_,_,'hibernate' | 'infinity' | non_neg_integer() | {'continue',_}} | {'stop',_,_,_}, which is the expected return type for the callback of the gen_server behaviour
+gen_server_incorrect_args.erl:7:1: The inferred return type of handle_call/3 ({'no'} | {'ok'}) has nothing in common with {'noreply',_} | {'noreply',_,'hibernate' | 'infinity' | non_neg_integer() | {'continue',_} | {'hibernate','infinity' | non_neg_integer(),_} | {'timeout','infinity' | non_neg_integer(),_} | {'hibernate','infinity' | non_neg_integer(),_,[{'abs',boolean()}] | {'abs',boolean()}} | {'timeout','infinity' | non_neg_integer(),_,[{'abs',boolean()}] | {'abs',boolean()}}} | {'reply',_,_} | {'stop',_,_} | {'reply',_,_,'hibernate' | 'infinity' | non_neg_integer() | {'continue',_} | {'hibernate','infinity' | non_neg_integer(),_} | {'timeout','infinity' | non_neg_integer(),_} | {'hibernate','infinity' | non_neg_integer(),_,[{'abs',boolean()}] | {'abs',boolean()}} | {'timeout','infinity' | non_neg_integer(),_,[{'abs',boolean()}] | {'abs',boolean()}}} | {'stop',_,_,_}, which is the expected return type for the callback of the gen_server behaviour
gen_server_incorrect_args.erl:7:1: The inferred type for the 2nd argument of handle_call/3 ('boo' | 'foo') has nothing in common with {pid(),gen_server:reply_tag()}, which is expected type for this argument in the callback of the gen_server behaviour
--
2.43.0
