
maps_sum.erl:15:2: Invalid type specification for function maps_sum:wrong1/1.
 The success typing is maps_sum:wrong1(map() | maps:iterator(_,_)) -> any()
 But the spec is maps_sum:wrong1([{atom(),term()}]) -> integer()
 They do not overlap in the 1st argument
maps_sum.erl:24:2: Invalid type specification for function maps_sum:wrong2/1.
 The success typing is maps_sum:wrong2(_) -> none()
 But the spec is maps_sum:wrong2(#{atom()=>term()}) -> integer()
 The return types do not overlap
maps_sum.erl:26:1: Function wrong2/1 has no local return
maps_sum.erl:27:17: The call lists:foldl(fun((_,_,_) -> any()),0,Data::any()) will never return since it differs in the 1st argument from the success typing arguments: (fun((_,_) -> any()),any(),[any()])
