File 1954-stdlib-Suppress-dialyzer-warning-for-dets-ensure_ets.patch of Package erlang
From bb71d640f4129be86c01cc0c0fcdf785f40adfd1 Mon Sep 17 00:00:00 2001
From: Sverker Eriksson <sverker@erlang.org>
Date: Wed, 14 Jan 2026 12:32:09 +0100
Subject: [PATCH] stdlib: Suppress dialyzer warning for dets:ensure_ets_tid
---
lib/stdlib/src/dets.erl | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/lib/stdlib/src/dets.erl b/lib/stdlib/src/dets.erl
index 5beeea390a..812bae4c80 100644
--- a/lib/stdlib/src/dets.erl
+++ b/lib/stdlib/src/dets.erl
@@ -1526,6 +1526,10 @@ to_ets(DTab, ETabArg) ->
foldl(Fun, ETabArg, DTab)
end.
+%% This dialyzer suppression can be removed when/if type ets:tid()
+%% is changed from opaque to nominal.
+-dialyzer({no_opaque_union, ensure_ets_tid/1}).
+
ensure_ets_tid(EtsTabName) when is_atom(EtsTabName) ->
ets:whereis(EtsTabName);
ensure_ets_tid(EtsTid) ->
--
2.51.0