Do not return {:ok, _} on maps with empty lines in map_put_static_value (#15597)

Author: lukaszsamson

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

@@ -4004,7 +4004,7 @@ defmodule Module.Types.Descr do
   defp map_put_static_value(descr, split_keys, type) do
     case :maps.take(:dynamic, descr) do
       :error ->
-        if descr_key?(descr, :map) and map_only?(descr) do
+        if non_empty_map_only?(descr) do
           {:ok, map_put_static(descr, split_keys, type)}
         else
           :badmap

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

@@ -3677,6 +3677,16 @@ defmodule Module.Types.DescrTest do
       assert map_put(map, atom([:k]), binary()) ==
                {:ok, open_map(k: {binary(), false}, x: {term(), false})}
     end
+
+    test "is consistent across representations of an empty type" do
+      # An empty map component that survives syntactically (open_map(c: none())
+      # is a non-normalized empty, equal to none()) must report :badmap like
+      # none(), not {:ok, <inhabited>}.
+      a2 = open_map(c: {none(), false})
+      assert equal?(none(), a2)
+      assert map_put(none(), atom([:a]), integer()) == :badmap
+      assert map_put(a2, atom([:a]), integer()) == :badmap
+    end
   end
 
   describe "disjoint" do