Report empty_list: true on dynamic() in list_of (#15506)

Fixes #15505

Author: lukaszsamson

lib/elixir/lib/module/types/descr.ex

@@ -2256,7 +2256,7 @@ defmodule Module.Types.Descr do
       {dynamic, static} ->
         with {empty_list?, static_value} <- list_of_static(static) do
           empty_list? =
-            empty_list? or
+            empty_list? or dynamic == :term or
               match?(
                 %{bitmap: bitmap} when (bitmap &&& @bit_empty_list) != 0,
                 dynamic

lib/elixir/test/elixir/module/types/descr_test.exs

@@ -1780,6 +1780,7 @@ defmodule Module.Types.DescrTest do
       assert list_of(non_empty_list(integer(), list(term()))) == {false, term()}
       assert list_of(list(integer()) |> opt_union(list(integer(), integer()))) == :badproperlist
       assert list_of(list(integer()) |> opt_union(integer())) == :badproperlist
+      assert list_of(dynamic()) == {true, dynamic()}
       assert list_of(dynamic(list(integer()))) == {true, dynamic(integer())}
       assert list_of(dynamic(list(integer(), atom()))) == {true, nil}
       assert list_of(dynamic(non_empty_list(integer(), atom()))) == :badproperlist