path: root/lib/dialyzer/test/indent_SUITE_data/results/map_galore

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'}