Improve docs and move all types tests to a single directory

Author: josevalim

lib/elixir/lib/module/types/remote.ex

@@ -50,7 +50,16 @@ defmodule Module.Types.Remote do
     end
   end
 
-  # TODO: Properly handle protocols
+  # The protocol code dispatches to unknown modules, so we ignore them here.
+  #
+  #     try do
+  #       SomeProtocol.Atom.__impl__
+  #     rescue
+  #       ...
+  #     end
+  #
+  # But for protocols we don't want to traverse the protocol code anyway.
+  # TODO: remove this clause once we no longer traverse the protocol code.
   defp warn_undefined?(_module, :__impl__, 1, _context), do: false
   defp warn_undefined?(_module, :module_info, 0, _context), do: false
   defp warn_undefined?(_module, :module_info, 1, _context), do: false

…ixir/test/elixir/module/checker_test.exs …elixir/module/types/integration_test.exslib/elixir/test/elixir/module/checker_test.exs renamed to lib/elixir/test/elixir/module/types/integration_test.exs lib/elixir/test/elixir/module/checker_test.exs renamed to lib/elixir/test/elixir/module/types/integration_test.exs

@@ -1,6 +1,6 @@
-Code.require_file("../test_helper.exs", __DIR__)
+Code.require_file("../../test_helper.exs", __DIR__)
 
-defmodule Module.CheckerTest do
+defmodule Module.Checker.IntegrationTest do
   use ExUnit.Case
 
   import ExUnit.CaptureIO

…elixir/test/elixir/module/types_test.exs …/test/elixir/module/types/types_test.exslib/elixir/test/elixir/module/types_test.exs renamed to lib/elixir/test/elixir/module/types/types_test.exs lib/elixir/test/elixir/module/types_test.exs renamed to lib/elixir/test/elixir/module/types/types_test.exs

@@ -1,6 +1,6 @@
-Code.require_file("../test_helper.exs", __DIR__)
+Code.require_file("../../test_helper.exs", __DIR__)
 
-defmodule Module.TypesTest do
+defmodule Module.Types.TypesTest do
   use ExUnit.Case, async: true
   import Bitwise, warn: false
   alias Module.Types