Do not crash for missing line info on type warnings

Closes #12263.

Author: josevalim

lib/elixir/lib/module/types.ex

@@ -135,8 +135,7 @@ defmodule Module.Types do
   # Collect relevant information from context and traces to report error
   def error_to_warning(:unable_apply, {mfa, args, expected, signature, stack}, context) do
     {fun, arity} = context.function
-    line = get_meta(stack.last_expr)[:line]
-    location = {context.file, line, {context.module, fun, arity}}
+    location = {context.file, get_line(stack), {context.module, fun, arity}}
 
     traces = type_traces(stack, context)
     {[signature | args], traces} = lift_all_types([signature | args], traces, context)
@@ -146,15 +145,16 @@ defmodule Module.Types do
 
   def error_to_warning(:unable_unify, {left, right, stack}, context) do
     {fun, arity} = context.function
-    line = get_meta(stack.last_expr)[:line]
-    location = {context.file, line, {context.module, fun, arity}}
+    location = {context.file, get_line(stack), {context.module, fun, arity}}
 
     traces = type_traces(stack, context)
     {[left, right], traces} = lift_all_types([left, right], traces, context)
     error = {:unable_unify, left, right, {location, stack.last_expr, traces}}
     {Module.Types, error, location}
   end
 
+  defp get_line(stack), do: stack.last_expr |> get_meta() |> Keyword.get(:line, 0)
+
   # Collect relevant traces from context.traces using stack.unify_stack
   defp type_traces(stack, context) do
     # TODO: Do we need the unify_stack or is enough to only get the last variable

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

@@ -562,6 +562,22 @@ defmodule Module.Types.IntegrationTest do
     end
   end
 
+  describe "regressions" do
+    test "handle missing location info from quoted" do
+      assert capture_io(:stderr, fn ->
+               quote do
+                 defmodule X do
+                   def f() do
+                     x = %{}
+                     %{x | key: :value}
+                   end
+                 end
+               end
+               |> Code.compile_quoted()
+             end) =~ "warning:"
+    end
+  end
+
   describe "after_verify" do
     test "reports functions" do
       files = %{