
weird_warning1.erl:15:1: Matching of pattern {'a', Dict} tagged with a record name violates the declared type of #b{q::queue:queue(_)}
weird_warning2.erl:13:1: Matching of pattern <{'b', Queue}, Key, Value> tagged with a record name violates the declared type of <#a{d::dict:dict(_,_)},'my_key','my_value'>
weird_warning3.erl:14:17: The call weird_warning3:add_element(#a{d::queue:queue(_)},'my_key','my_value') will never return since it differs in the 1st argument from the success typing arguments: (#a{d::dict:dict(_,_)} | #b{q::queue:queue(_)},any(),any())
weird_warning3.erl:16:1: Matching of pattern {'a', Dict} tagged with a record name violates the declared type of #a{d::queue:queue(_)}
weird_warning3.erl:18:1: Matching of pattern {'b', Queue} tagged with a record name violates the declared type of #a{d::queue:queue(_)}
