Account for new hashes + fix test

Author: gldubc

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

@@ -3420,10 +3420,10 @@ defmodule Module.Types.Descr do
 
   defp map_split_negative_pairs_key(negs, key) do
     Enum.reduce_while(negs, [], fn
-      {:open, empty}, _acc when is_fields_empty(empty) ->
+      bdd_leaf(:open, empty), _acc when is_fields_empty(empty) ->
         {:halt, :empty}
 
-      {tag, fields}, neg_acc ->
+      bdd_leaf(tag, fields), neg_acc ->
         {:cont, [map_pop_key_bdd(tag, fields, key) | neg_acc]}
     end)
   end

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

@@ -2888,9 +2888,12 @@ defmodule Module.Types.DescrTest do
 
       map = difference(open_map(k: integer(), x: term()), open_map(k: integer(), a: integer()))
 
-      assert map_put(map, atom([:k]), binary()) ==
-               {:ok,
-                difference(open_map(k: binary(), x: term()), open_map(k: binary(), a: integer()))}
+      {:ok, type} = map_put(map, atom([:k]), binary())
+
+      assert equal?(
+               type,
+               difference(open_map(k: binary(), x: term()), open_map(k: binary(), a: integer()))
+             )
     end
 
     test "with projected negative maps and no popped value projection" do