Remove dynamic from stacktrace

Author: josevalim

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

@@ -830,6 +830,7 @@ defmodule Module.Types.Apply do
 
     message =
       case reason do
+        # TODO: Return the domain here
         :badarg ->
           """
           expected a #{length(args_types)}-arity function on call:

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

@@ -1000,11 +1000,11 @@ defmodule Module.Types.Descr do
           end
 
         # Optimize the cases where dynamic closes over all function types
-        # {:term, fun_static} when fun_static == %{} ->
-        #   {:ok, dynamic()}
+        {:term, fun_static} when fun_static == %{} ->
+          {:ok, dynamic()}
 
-        # {%{fun: @fun_top}, fun_static} when fun_static == %{} ->
-        #   {:ok, dynamic()}
+        {%{fun: @fun_top}, fun_static} when fun_static == %{} ->
+          {:ok, dynamic()}
 
         {fun_dynamic, fun_static} ->
           if fun_only?(fun_static) do

lib/elixir/lib/module/types/expr.ex

@@ -51,7 +51,7 @@ defmodule Module.Types.Expr do
   @stacktrace list(
                 union(
                   tuple([atom(), atom(), args_or_arity, extra_info]),
-                  tuple([dynamic(fun()), args_or_arity, extra_info])
+                  tuple([fun(), args_or_arity, extra_info])
                 )
               )
 
@@ -449,10 +449,10 @@ defmodule Module.Types.Expr do
     {dynamic(), context}
   end
 
-  # TODO: fun.(args)
   def of_expr({{:., _, [fun]}, _, args} = call, _expected, _expr, stack, context) do
     {fun_type, context} = of_expr(fun, fun(length(args)), call, stack, context)
 
+    # TODO: Perform inference based on the strong domain of a function
     {args_types, context} =
       Enum.map_reduce(args, context, &of_expr(&1, @pending, &1, stack, &2))