dialyzer: Add Maps type mismatch test