aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/src/beam_ssa_type.erl
diff options
context:
space:
mode:
Diffstat (limited to 'lib/compiler/src/beam_ssa_type.erl')
-rw-r--r--lib/compiler/src/beam_ssa_type.erl3
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/compiler/src/beam_ssa_type.erl b/lib/compiler/src/beam_ssa_type.erl
index 612277393e..da73dc26f7 100644
--- a/lib/compiler/src/beam_ssa_type.erl
+++ b/lib/compiler/src/beam_ssa_type.erl
@@ -177,10 +177,9 @@ validator_anno(#t_fun{}) ->
any;
validator_anno(#t_tuple{size=Size,exact=Exact,elements=Elements0}) ->
Elements = maps:fold(fun(Index, Type0, Acc) ->
- Key = beam_validator:type_anno(integer, Index),
case validator_anno(Type0) of
any -> Acc;
- Type -> Acc#{Key=>Type}
+ Type -> Acc#{ Index => Type }
end
end, #{}, Elements0),
beam_validator:type_anno(tuple, Size, Exact, Elements);