From cb7378bf0f05cbc2b4b1eb3a31af53d62c68997d Mon Sep 17 00:00:00 2001 From: sabiwara Date: Sat, 25 Jul 2026 15:17:05 +0900 Subject: [PATCH] Add admonition block about MapSet opaqueness issue --- lib/elixir/lib/map_set.ex | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/lib/elixir/lib/map_set.ex b/lib/elixir/lib/map_set.ex index ab46ec5d81..c5cd69b32a 100644 --- a/lib/elixir/lib/map_set.ex +++ b/lib/elixir/lib/map_set.ex @@ -51,6 +51,15 @@ defmodule MapSet do that they share many properties, including logarithmic time complexity. Erlang `:sets` (version 2) are implemented on top of maps, so see the documentation for `Map` for more information on its execution time complexity. + + > #### Dialyzer opaqueness warnings {: .warning} + > + > `MapSet` internally relies on the `:sets` module which uses + > opaque types. This might cause Dialyzer to report opaqueness violations. + > These can be silenced by setting the following module attribute: + > + > @dialyzer :no_opaque + """ @type value :: term