Add missing required key to __info__(:struct) type (#15453)

Author: lukaszsamson

lib/elixir/lib/module/types/apply.ex

@@ -38,7 +38,9 @@ defmodule Module.Types.Apply do
   end
 
   fas = list(tuple([atom(), integer()]))
-  struct_info = list(closed_map(default: if_set(term()), field: atom()))
+
+  struct_info =
+    list(closed_map(default: if_set(term()), field: atom(), required: if_set(boolean())))
 
   shared_info = [
     attributes: list(tuple([atom(), list(term())])),

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

@@ -3392,10 +3392,15 @@ defmodule Module.Types.ExprTest do
       assert typecheck!(GenServer.__info__(:struct)) == atom([nil])
 
       assert typecheck!(URI.__info__(:struct)) ==
-               list(closed_map(default: if_set(term()), field: atom()))
+               list(
+                 closed_map(default: if_set(term()), field: atom(), required: if_set(boolean()))
+               )
 
       assert typecheck!([x], x.__info__(:struct)) ==
-               list(closed_map(default: if_set(term()), field: atom())) |> union(atom([nil]))
+               list(
+                 closed_map(default: if_set(term()), field: atom(), required: if_set(boolean()))
+               )
+               |> union(atom([nil]))
     end
 
     test "behaviour_info/1" do