map_galore.erl:1000: A key of type 42 cannot exist in a map of type #{1 := 'a', 2 := 'b', 4 := 'd', 5 := 'e', float() => 'c' | 'v'} map_galore.erl:1080: A key of type 'nonexisting' cannot exist in a map of type #{10 := 'a0', 11 := 'a1', 12 := 'a2', 13 := 'a3', 14 := 'a4', 15 := 'a5', 16 := 'a6', 17 := 'a7', 18 := 'a8', 19 := 'a9', 20 := 'b0', 21 := 'b1', 22 := 'b2', 23 := 'b3', 24 := 'b4', 25 := 'b5', 26 := 'b6', 27 := 'b7', 28 := 'b8', 29 := 'b9', 30 := [48 | 99, ...], 31 := [49 | 99, ...], 32 := [50 | 99, ...], 33 := [51 | 99, ...], 34 := [52 | 99, ...], 35 := [53 | 99, ...], 36 := [54 | 99, ...], 37 := [55 | 99, ...], 38 := [56 | 99, ...], 39 := [57 | 99, ...], <<_:16>> | [48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57, ...] | float() | {[[48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57, ...], ...]} | #{'k16' => 'a6', 'k26' => 'b6', 'k36' => [54 | 99, ...], 'map' => 'key', 'one' => 'small', 'second' => 'small', 'third' => 'small', 10 => 'a0', 11 => 'a1', 12 => 'a2', 13 => 'a3', 14 => 'a4', 15 => 'a5', 16 => 'a6', 17 => 'a7', 18 => 'a8', 19 => 'a9', 20 => 'b0', 21 => 'b1', 22 => 'b2', 23 => 'b3', 24 => 'b4', 25 => 'b5', 26 => 'b6', 27 => 'b7', 28 => 'b8', 29 => 'b9', 30 => [48 | 99, ...], 31 => [49 | 99, ...], 32 => [50 | 99, ...], 33 => [51 | 99, ...], 34 => [52 | 99, ...], 35 => [53 | 99, ...], 36 => [54 | 99, ...], 37 => [55 | 99, ...], 38 => [56 | 99, ...], 39 => [57 | 99, ...], <<_:16>> | [48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57, ...] | {[[48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57, ...], ...]} => [48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 100 | 101, ...]} => atom() | [1..255, ...]} map_galore.erl:1082: A key of type 42 cannot exist in a map of type #{10 := 'a0', 11 := 'a1', 12 := 'a2', 13 := 'a3', 14 := 'a4', 15 := 'a5', 16 := 'a6', 17 := 'a7', 18 := 'a8', 19 := 'a9', 20 := 'b0', 21 := 'b1', 22 := 'b2', 23 := 'b3', 24 := 'b4', 25 := 'b5', 26 := 'b6', 27 := 'b7', 28 := 'b8', 29 := 'b9', 30 := [48 | 99, ...], 31 := [49 | 99, ...], 32 := [50 | 99, ...], 33 := [51 | 99, ...], 34 := [52 | 99, ...], 35 := [53 | 99, ...], 36 := [54 | 99, ...], 37 := [55 | 99, ...], 38 := [56 | 99, ...], 39 := [57 | 99, ...], <<_:16>> | [48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57, ...] | float() | {[[48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57, ...], ...]} | #{'k16' => 'a6', 'k26' => 'b6', 'k36' => [54 | 99, ...], 'map' => 'key', 'one' => 'small', 'second' => 'small', 'third' => 'small', 10 => 'a0', 11 => 'a1', 12 => 'a2', 13 => 'a3', 14 => 'a4', 15 => 'a5', 16 => 'a6', 17 => 'a7', 18 => 'a8', 19 => 'a9', 20 => 'b0', 21 => 'b1', 22 => 'b2', 23 => 'b3', 24 => 'b4', 25 => 'b5', 26 => 'b6', 27 => 'b7', 28 => 'b8', 29 => 'b9', 30 => [48 | 99, ...], 31 => [49 | 99, ...], 32 => [50 | 99, ...], 33 => [51 | 99, ...], 34 => [52 | 99, ...], 35 => [53 | 99, ...], 36 => [54 | 99, ...], 37 => [55 | 99, ...], 38 => [56 | 99, ...], 39 => [57 | 99, ...], <<_:16>> | [48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57, ...] | {[[48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57, ...], ...]} => [48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 100 | 101, ...]} => atom() | [1..255, ...]} map_galore.erl:1140: The call map_galore:map_guard_sequence_1 (#{seq => 6, val => "e"}) will never return since it differs in the 1st argument from the success typing arguments: (#{'seq' := 1 | 2 | 3 | 4 | 5, 'val' := [97 | 98 | 99 | 100 | 101, ...], 10 => 'a0', 11 => 'a1', 12 => 'a2', 13 => 'a3', 14 => 'a4', 15 => 'a5', 16 => 'a6', 17 => 'a7', 18 => 'a8', 19 => 'a9', 20 => 'b0', 21 => 'b1', 22 => 'b2', 23 => 'b3', 24 => 'b4', 25 => 'b5', 26 => 'b6', 27 => 'b7', 28 => 'b8', 29 => 'b9', 30 => [48 | 99, ...], 31 => [49 | 99, ...], 32 => [50 | 99, ...], 33 => [51 | 99, ...], 34 => [52 | 99, ...], 35 => [53 | 99, ...], 36 => [54 | 99, ...], 37 => [55 | 99, ...], 38 => [56 | 99, ...], 39 => [57 | 99, ...], <<_:16>> | [48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57, ...] | float() | {[any(), ...]} | #{'k16' => 'a6', 'k26' => 'b6', 'k36' => [any(), ...], 'map' => 'key', 'one' => 'small', 'second' => 'small', 'third' => 'small', 10 => 'a0', 11 => 'a1', 12 => 'a2', 13 => 'a3', 14 => 'a4', 15 => 'a5', 16 => 'a6', 17 => 'a7', 18 => 'a8', 19 => 'a9', 20 => 'b0', 21 => 'b1', 22 => 'b2', 23 => 'b3', 24 => 'b4', 25 => 'b5', 26 => 'b6', 27 => 'b7', 28 => 'b8', 29 => 'b9', 30 => [any(), ...], 31 => [any(), ...], 32 => [any(), ...], 33 => [any(), ...], 34 => [any(), ...], 35 => [any(), ...], 36 => [any(), ...], 37 => [any(), ...], 38 => [any(), ...], 39 => [any(), ...], <<_:16>> | [any(), ...] | {_} => [any(), ...]} => atom() | [1..255, ...]}) map_galore.erl:1141: The call map_galore:map_guard_sequence_2 (#{'b' => 5}) will never return since it differs in the 1st argument from the success typing arguments: (#{'a' := 'gg' | 'kk' | 'sc' | 3 | 4, 'b' => 'other' | 3 | 4 | 5, 'c' => 'sc2', 10 => 'a0', 11 => 'a1', 12 => 'a2', 13 => 'a3', 14 => 'a4', 15 => 'a5', 16 => 'a6', 17 => 'a7', 18 => 'a8', 19 => 'a9', 20 => 'b0', 21 => 'b1', 22 => 'b2', 23 => 'b3', 24 => 'b4', 25 => 'b5', 26 => 'b6', 27 => 'b7', 28 => 'b8', 29 => 'b9', 30 => [48 | 99, ...], 31 => [49 | 99, ...], 32 => [50 | 99, ...], 33 => [51 | 99, ...], 34 => [52 | 99, ...], 35 => [53 | 99, ...], 36 => [54 | 99, ...], 37 => [55 | 99, ...], 38 => [56 | 99, ...], 39 => [57 | 99, ...], <<_:16>> | [48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57, ...] | float() | {[any(), ...]} | #{'k16' => 'a6', 'k26' => 'b6', 'k36' => [any(), ...], 'map' => 'key', 'one' => 'small', 'second' => 'small', 'third' => 'small', 10 => 'a0', 11 => 'a1', 12 => 'a2', 13 => 'a3', 14 => 'a4', 15 => 'a5', 16 => 'a6', 17 => 'a7', 18 => 'a8', 19 => 'a9', 20 => 'b0', 21 => 'b1', 22 => 'b2', 23 => 'b3', 24 => 'b4', 25 => 'b5', 26 => 'b6', 27 => 'b7', 28 => 'b8', 29 => 'b9', 30 => [any(), ...], 31 => [any(), ...], 32 => [any(), ...], 33 => [any(), ...], 34 => [any(), ...], 35 => [any(), ...], 36 => [any(), ...], 37 => [any(), ...], 38 => [any(), ...], 39 => [any(), ...], <<_:16>> | [any(), ...] | {_} => [any(), ...]} => atom() | [1..255, ...]}) map_galore.erl:1209: The call map_galore:map_guard_sequence_1 (#{'seq' := 6, 'val' := [101, ...], 10 := 'a0', 11 := 'a1', 12 := 'a2', 13 := 'a3', 14 := 'a4', 15 := 'a5', 16 := 'a6', 17 := 'a7', 18 := 'a8', 19 := 'a9', 20 := 'b0', 21 := 'b1', 22 := 'b2', 23 := 'b3', 24 := 'b4', 25 := 'b5', 26 := 'b6', 27 := 'b7', 28 := 'b8', 29 := 'b9', 30 := [48 | 99, ...], 31 := [49 | 99, ...], 32 := [50 | 99, ...], 33 := [51 | 99, ...], 34 := [52 | 99, ...], 35 := [53 | 99, ...], 36 := [54 | 99, ...], 37 := [55 | 99, ...], 38 := [56 | 99, ...], 39 := [57 | 99, ...], <<_:16>> | [48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57, ...] | float() | {[[48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57, ...] | 3, ...]} | #{'k16' => 'a6', 'k26' => 'b6', 'k36' => [54 | 99, ...], 'map' => 'key', 'one' => 'small', 'second' => 'small', 'third' => 'small', 10 => 'a0', 11 => 'a1', 12 => 'a2', 13 => 'a3', 14 => 'a4', 15 => 'a5', 16 => 'a6', 17 => 'a7', 18 => 'a8', 19 => 'a9', 20 => 'b0', 21 => 'b1', 22 => 'b2', 23 => 'b3', 24 => 'b4', 25 => 'b5', 26 => 'b6', 27 => 'b7', 28 => 'b8', 29 => 'b9', 30 => [48 | 99, ...], 31 => [49 | 99, ...], 32 => [50 | 99, ...], 33 => [51 | 99, ...], 34 => [52 | 99, ...], 35 => [53 | 99, ...], 36 => [54 | 99, ...], 37 => [55 | 99, ...], 38 => [56 | 99, ...], 39 => [57 | 99, ...], <<_:16>> | [48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57, ...] | {[[48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57, ...], ...]} => [48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 100 | 101, ...]} => atom() | [1..255, ...]}) will never return since it differs in the 1st argument from the success typing arguments: (#{'seq' := 1 | 2 | 3 | 4 | 5, 'val' := [97 | 98 | 99 | 100 | 101, ...], 10 => 'a0', 11 => 'a1', 12 => 'a2', 13 => 'a3', 14 => 'a4', 15 => 'a5', 16 => 'a6', 17 => 'a7', 18 => 'a8', 19 => 'a9', 20 => 'b0', 21 => 'b1', 22 => 'b2', 23 => 'b3', 24 => 'b4', 25 => 'b5', 26 => 'b6', 27 => 'b7', 28 => 'b8', 29 => 'b9', 30 => [48 | 99, ...], 31 => [49 | 99, ...], 32 => [50 | 99, ...], 33 => [51 | 99, ...], 34 => [52 | 99, ...], 35 => [53 | 99, ...], 36 => [54 | 99, ...], 37 => [55 | 99, ...], 38 => [56 | 99, ...], 39 => [57 | 99, ...], <<_:16>> | [48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57, ...] | float() | {[any(), ...]} | #{'k16' => 'a6', 'k26' => 'b6', 'k36' => [any(), ...], 'map' => 'key', 'one' => 'small', 'second' => 'small', 'third' => 'small', 10 => 'a0', 11 => 'a1', 12 => 'a2', 13 => 'a3', 14 => 'a4', 15 => 'a5', 16 => 'a6', 17 => 'a7', 18 => 'a8', 19 => 'a9', 20 => 'b0', 21 => 'b1', 22 => 'b2', 23 => 'b3', 24 => 'b4', 25 => 'b5', 26 => 'b6', 27 => 'b7', 28 => 'b8', 29 => 'b9', 30 => [any(), ...], 31 => [any(), ...], 32 => [any(), ...], 33 => [any(), ...], 34 => [any(), ...], 35 => [any(), ...], 36 => [any(), ...], 37 => [any(), ...], 38 => [any(), ...], 39 => [any(), ...], <<_:16>> | [any(), ...] | {_} => [any(), ...]} => atom() | [1..255, ...]}) map_galore.erl:1210: The call map_galore:map_guard_sequence_2 (#{'b' := 5, 10 := 'a0', 11 := 'a1', 12 := 'a2', 13 := 'a3', 14 := 'a4', 15 := 'a5', 16 := 'a6', 17 := 'a7', 18 := 'a8', 19 := 'a9', 20 := 'b0', 21 := 'b1', 22 := 'b2', 23 := 'b3', 24 := 'b4', 25 := 'b5', 26 := 'b6', 27 := 'b7', 28 := 'b8', 29 := 'b9', 30 := [48 | 99, ...], 31 := [49 | 99, ...], 32 := [50 | 99, ...], 33 := [51 | 99, ...], 34 := [52 | 99, ...], 35 := [53 | 99, ...], 36 := [54 | 99, ...], 37 := [55 | 99, ...], 38 := [56 | 99, ...], 39 := [57 | 99, ...], <<_:16>> | [48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57, ...] | float() | {[[48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57, ...] | 3, ...]} | #{'k16' => 'a6', 'k26' => 'b6', 'k36' => [54 | 99, ...], 'map' => 'key', 'one' => 'small', 'second' => 'small', 'third' => 'small', 10 => 'a0', 11 => 'a1', 12 => 'a2', 13 => 'a3', 14 => 'a4', 15 => 'a5', 16 => 'a6', 17 => 'a7', 18 => 'a8', 19 => 'a9', 20 => 'b0', 21 => 'b1', 22 => 'b2', 23 => 'b3', 24 => 'b4', 25 => 'b5', 26 => 'b6', 27 => 'b7', 28 => 'b8', 29 => 'b9', 30 => [48 | 99, ...], 31 => [49 | 99, ...], 32 => [50 | 99, ...], 33 => [51 | 99, ...], 34 => [52 | 99, ...], 35 => [53 | 99, ...], 36 => [54 | 99, ...], 37 => [55 | 99, ...], 38 => [56 | 99, ...], 39 => [57 | 99, ...], <<_:16>> | [48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57, ...] | {[[48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57, ...], ...]} => [48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 100 | 101, ...]} => atom() | [1..255, ...]}) will never return since it differs in the 1st argument from the success typing arguments: (#{'a' := 'gg' | 'kk' | 'sc' | 3 | 4, 'b' => 'other' | 3 | 4 | 5, 'c' => 'sc2', 10 => 'a0', 11 => 'a1', 12 => 'a2', 13 => 'a3', 14 => 'a4', 15 => 'a5', 16 => 'a6', 17 => 'a7', 18 => 'a8', 19 => 'a9', 20 => 'b0', 21 => 'b1', 22 => 'b2', 23 => 'b3', 24 => 'b4', 25 => 'b5', 26 => 'b6', 27 => 'b7', 28 => 'b8', 29 => 'b9', 30 => [48 | 99, ...], 31 => [49 | 99, ...], 32 => [50 | 99, ...], 33 => [51 | 99, ...], 34 => [52 | 99, ...], 35 => [53 | 99, ...], 36 => [54 | 99, ...], 37 => [55 | 99, ...], 38 => [56 | 99, ...], 39 => [57 | 99, ...], <<_:16>> | [48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57, ...] | float() | {[any(), ...]} | #{'k16' => 'a6', 'k26' => 'b6', 'k36' => [any(), ...], 'map' => 'key', 'one' => 'small', 'second' => 'small', 'third' => 'small', 10 => 'a0', 11 => 'a1', 12 => 'a2', 13 => 'a3', 14 => 'a4', 15 => 'a5', 16 => 'a6', 17 => 'a7', 18 => 'a8', 19 => 'a9', 20 => 'b0', 21 => 'b1', 22 => 'b2', 23 => 'b3', 24 => 'b4', 25 => 'b5', 26 => 'b6', 27 => 'b7', 28 => 'b8', 29 => 'b9', 30 => [any(), ...], 31 => [any(), ...], 32 => [any(), ...], 33 => [any(), ...], 34 => [any(), ...], 35 => [any(), ...], 36 => [any(), ...], 37 => [any(), ...], 38 => [any(), ...], 39 => [any(), ...], <<_:16>> | [any(), ...] | {_} => [any(), ...]} => atom() | [1..255, ...]}) map_galore.erl:1418: Fun application with arguments (#{'s' => 'none', 'v' => 'none'}) will never return since it differs in the 1st argument from the success typing arguments: (#{'s' := 'l' | 't' | 'v', 'v' := 'none' | <<_:16>> | [<<_:16>>, ...] | {<<_:16>>, <<_:16>>}}) map_galore.erl:1491: The test #{} =:= #{'a' := 1} can never evaluate to 'true' map_galore.erl:1492: The test #{'a' := 1} =:= #{} can never evaluate to 'true' map_galore.erl:1495: The test #{'a' := 1} =:= #{'a' := 2} can never evaluate to 'true' map_galore.erl:1496: The test #{'a' := 2} =:= #{'a' := 1} can never evaluate to 'true' map_galore.erl:1497: The test #{'a' := 2, 'b' := 1} =:= #{'a' := 1, 'b' := 3} can never evaluate to 'true' map_galore.erl:1498: The test #{'a' := 1, 'b' := 1} =:= #{'a' := 1, 'b' := 3} can never evaluate to 'true' map_galore.erl:1762: The call maps:get ({1, 1}, #{{1, float()} => [101 | 108 | 112 | 116 | 117, ...]}) will never return since the success typing arguments are (any(), map()) map_galore.erl:1763: The call maps:get ('a', #{}) will never return since the success typing arguments are (any(), map()) map_galore.erl:1765: The call maps:get ('a', #{'b' => 1, 'c' => 2}) will never return since the success typing arguments are (any(), map()) map_galore.erl:186: The pattern #{'x' := 2} can never match the type #{'x' := 3} map_galore.erl:187: The pattern #{'x' := 3} can never match the type {'a', 'b', 'c'} map_galore.erl:188: The pattern #{'x' := 3} can never match the type #{'y' := 3} map_galore.erl:189: The pattern #{'x' := 3} can never match the type #{'x' := [101 | 104 | 114 | 116, ...]} map_galore.erl:2280: Cons will produce an improper list since its 2nd argument is {'b', 'a'} map_galore.erl:2280: The call maps:from_list ([{'a', 'b'} | {'b', 'a'}]) will never return since it differs in the 1st argument from the success typing arguments: ([{_, _}]) map_galore.erl:2281: The call maps:from_list ('a') will never return since it differs in the 1st argument from the success typing arguments: ([{_, _}]) map_galore.erl:2282: The call maps:from_list (42) will never return since it differs in the 1st argument from the success typing arguments: ([{_, _}]) map_galore.erl:997: A key of type 'nonexisting' cannot exist in a map of type #{} map_galore.erl:998: A key of type 'nonexisting' cannot exist in a map of type #{1 := 'a', 2 := 'b', 4 := 'd', 5 := 'e', float() => 'c'}