Skip to content

Commit d81e944

Browse files
committed
Fix faulty test
1 parent 10ed9f9 commit d81e944

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -644,8 +644,8 @@ defmodule Module.Types.DescrTest do
644644
refute subtype?(fun([], term()), fun([], float()))
645645

646646
# Contravariance of domain
647-
assert subtype?(fun([integer()], boolean()), fun([number()], boolean()))
648-
refute subtype?(fun([number()], boolean()), fun([integer()], boolean()))
647+
refute subtype?(fun([integer()], boolean()), fun([number()], boolean()))
648+
assert subtype?(fun([number()], boolean()), fun([integer()], boolean()))
649649

650650
# Nested function types
651651
higher_order = fun([fun([integer()], atom())], boolean())

0 commit comments

Comments
 (0)