Skip to content

Commit 55a3899

Browse files
committed
Add more tests around precision
1 parent ada2817 commit 55a3899

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

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

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1406,11 +1406,15 @@ defmodule Module.Types.PatternTest do
14061406
assert precise?([x], not (length(x) > 0))
14071407
assert precise?([x], length(x) >= 0)
14081408
assert precise?([x], length(x) < 1)
1409+
assert precise?([x], 1 > length(x))
1410+
assert precise?([x], 0 <= length(x))
14091411

14101412
refute precise?([x], length(x) == 1)
14111413
refute precise?([x], length(x) != 1)
14121414
refute precise?([x], length(x) > 1)
14131415
refute precise?([x], length(x) <= 3)
1416+
refute precise?([x], length(x) < 0)
1417+
refute precise?([x], 0 > length(x))
14141418

14151419
# Maps: only when compared to 0
14161420
assert precise?([x], map_size(x) == 0)

0 commit comments

Comments
 (0)