Add regression tests for dialyzer opacity

Author: sabiwara

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)