Defaults to true

Author: josevalim

lib/elixir/lib/module/types/pattern.ex

@@ -771,7 +771,7 @@ defmodule Module.Types.Pattern do
 
     context =
       Enum.reduce(guards, context, fn guard, context ->
-        {type, context} = of_guard(guard, {true, term()}, guard, stack, context)
+        {type, context} = of_guard(guard, {true, @atom_true}, guard, stack, context)
 
         if never_true?(type) do
           error = {:badguard, type, guard, context}
@@ -899,7 +899,7 @@ defmodule Module.Types.Pattern do
     end
   end
 
-  # TODO: Move orelse and andalso handling here
+  # TODO: Move orelse and andalso handling here, both may never be executed
   defp of_remote(fun, meta, [left, right], call, {_root, expected}, stack, context)
        when fun in [:or, :orelse] do
     {info, [left_domain, right_domain], context} =

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

@@ -431,7 +431,7 @@ defmodule Module.Types.PatternTest do
 
     test "elem" do
       assert typecheck!([x], elem(x, 1), x) ==
-               dynamic(open_tuple([term(), term()]))
+               dynamic(open_tuple([term(), atom([true])]))
 
       assert typecheck!([x], not elem(x, 1), x) ==
                dynamic(open_tuple([term(), atom([false])]))
@@ -442,7 +442,7 @@ defmodule Module.Types.PatternTest do
 
     test "map.field" do
       assert typecheck!([x = %{foo: :bar}], x.bar, x) ==
-               dynamic(open_map(foo: atom([:bar]), bar: term()))
+               dynamic(open_map(foo: atom([:bar]), bar: atom([true])))
 
       assert typecheck!([x = %{foo: :bar}], not x.bar, x) ==
                dynamic(open_map(foo: atom([:bar]), bar: atom([false])))