We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ae48087 commit a53d448Copy full SHA for a53d448
lib/elixir/test/elixir/module/types/descr_test.exs
@@ -675,7 +675,8 @@ defmodule Module.Types.DescrTest do
675
assert subtype?(fun([none(), number()], atom()), f)
676
assert subtype?(fun([tuple(), number()], atom()), f)
677
678
- # (none, float)->atom is not a subtype of (none, integer)->atom because float has an empty intersection with integer
+ # (none, float -> atom) is not a subtype of (none, integer -> atom)
679
+ # because float has an empty intersection with integer.
680
# it's only possible to find this out by doing the
681
# intersection one by one.
682
refute subtype?(fun([none(), float()], atom()), f)
0 commit comments