As far as I can see Dialyzer likens structs to any general map %{}, which means you lose the specificity…