More

Author: josevalim

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

@@ -1144,9 +1144,9 @@ defmodule Module.Types.Apply do
   end
 
   defp filter_domain([{args, return} | clauses], expected, acc, all_compatible?) do
-    case compatible?(expected, return) do
-      true -> filter_domain(clauses, expected, [args | acc], all_compatible?)
-      false -> filter_domain(clauses, expected, acc, false)
+    case disjoint?(return, expected) do
+      false -> filter_domain(clauses, expected, [args | acc], all_compatible?)
+      true -> filter_domain(clauses, expected, acc, false)
     end
   end
 

lib/elixir/test/elixir/kernel_test.exs

@@ -106,42 +106,6 @@ defmodule KernelTest do
 
     assert "" =~ "abcd" == false
     assert "" =~ ~r/abcd/ == false
-
-    assert_raise FunctionClauseError, "no function clause matching in Kernel.=~/2", fn ->
-      1234 =~ "hello"
-    end
-
-    assert_raise FunctionClauseError, "no function clause matching in Kernel.=~/2", fn ->
-      1234 =~ ~r"hello"
-    end
-
-    assert_raise FunctionClauseError, "no function clause matching in Kernel.=~/2", fn ->
-      1234 =~ ~r"hello"
-    end
-
-    assert_raise FunctionClauseError, "no function clause matching in Kernel.=~/2", fn ->
-      ~r"hello" =~ "hello"
-    end
-
-    assert_raise FunctionClauseError, "no function clause matching in Kernel.=~/2", fn ->
-      ~r"hello" =~ ~r"hello"
-    end
-
-    assert_raise FunctionClauseError, "no function clause matching in Kernel.=~/2", fn ->
-      :abcd =~ ~r//
-    end
-
-    assert_raise FunctionClauseError, "no function clause matching in Kernel.=~/2", fn ->
-      :abcd =~ ""
-    end
-
-    assert_raise FunctionClauseError, "no function clause matching in Regex.match?/2", fn ->
-      "abcd" =~ nil
-    end
-
-    assert_raise FunctionClauseError, "no function clause matching in Regex.match?/2", fn ->
-      "abcd" =~ :abcd
-    end
   end
 
   test "^" do

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

@@ -45,9 +45,9 @@ defmodule Module.Types.PatternTest do
 
                where "name" was given the type:
 
-                   # type: dynamic()
-                   # from: types_test.ex
-                   {name, arity}
+                   # type: dynamic(atom())
+                   # from: types_test.ex:LINE-1
+                   Atom.to_charlist(name)
                """
     end