Do not crash when checking empty receive

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

@@ -264,6 +264,9 @@ defmodule Module.Types.Expr do
 
     result =
       each_ok(blocks, fn
+        {:do, {:__block__, _, []}} ->
+          :ok
+
         {:do, clauses} ->
           of_clauses(clauses, stack, context)
 

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

@@ -288,6 +288,15 @@ defmodule Module.Types.ExprTest do
     assert {:error, _} = quoted_expr(fn :foo = b -> :bar = b end)
   end
 
+  test "receive" do
+    assert quoted_expr(
+             receive do
+             after
+               0 -> :ok
+             end
+           ) == {:ok, :dynamic}
+  end
+
   test "with" do
     assert quoted_expr(
              [a, b],