More fixes and tests for inlined struct opacity issues (#15063)

* Fix doc -> typedoc

* Add regression tests for dialyzer opacity

* Do not use opaque :sets.set in MapSet.t()

Author: sabiwara

lib/elixir/lib/map_set.ex

@@ -55,9 +55,9 @@ defmodule MapSet do
 
   @type value :: term
 
-  # We don't use opaque because MapSets can be inlined,
+  # We don't use @opaque (or `:sets.set` which is opaque) because MapSets can be inlined,
   # either via module attributes or by the compiler.
-  @typep internal(value) :: :sets.set(value)
+  @typep internal(value) :: %{optional(value) => term()}
 
   @type t(value) :: %__MODULE__{map: internal(value)}
   @type t :: t(term)

lib/elixir/lib/uri.ex

@@ -34,7 +34,7 @@ defmodule URI do
 
   # We don't use opaque because URIs can be inlined,
   # either via module attributes or by the compiler.
-  @doc deprecated: "The authority field is deprecated"
+  @typedoc deprecated: "The authority field is deprecated"
   @type authority :: nil | binary
 
   @type t :: %__MODULE__{

lib/elixir/test/elixir/fixtures/dialyzer/regressions.ex

@@ -15,4 +15,10 @@ defmodule Dialyzer.Regressions do
   def eex_eval_opts do
     EEx.eval_string("foo <%= bar %>", [bar: "baz"], trim: true)
   end
+
+  @spec inlined_map_set :: MapSet.t(integer())
+  def inlined_map_set, do: MapSet.new([1, 2])
+
+  @spec inlined_uri :: URI.t()
+  def inlined_uri, do: URI.new!("example.com")
 end

lib/elixir/test/elixir/kernel/dialyzer_test.exs

@@ -31,6 +31,7 @@ defmodule Kernel.DialyzerTest do
       :elixir,
       :elixir_env,
       :elixir_erl_pass,
+      :inet,
       :maps,
       :sets,
       ArgumentError,
@@ -53,7 +54,8 @@ defmodule Kernel.DialyzerTest do
       String,
       String.Chars,
       Task,
-      Task.Supervisor
+      Task.Supervisor,
+      URI
     ]
 
     files = Enum.map(mods, &:code.which/1)