File 1374-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

openSUSE Build Service is sponsored by