summaryrefslogtreecommitdiff
path: root/lib/dialyzer/test/small_SUITE_data/results/empty_list_infimum
blob: b53b251a3942040d1a57b1ee430515e7c233223a (plain)
1
2
3
4
5

empty_list_infimum.erl:38:2: Invalid type specification for function empty_list_infimum:list_vhost_permissions/1.
 The success typing is empty_list_infimum:list_vhost_permissions(_) -> [[{_,_}]]
 But the spec is empty_list_infimum:list_vhost_permissions(vhost()) -> infos()
 The return types do not overlap