empty_list_infimum « results « small_SUITE_data « test « dialyzer « lib - otp.git - Mirror of Erlang/OTP repository.

about summary refs log tree commit diff stats

path: root/lib/dialyzer/test/small_SUITE_data/results/empty_list_infimum

blob: 6eaf60b91d46213eaceaad7e101c31dab3c4ee93 (plain) (blame)

1
2

empty_list_infimum.erl:38: Invalid type specification for function empty_list_infimum:list_vhost_permissions/1. The success typing is (_) -> [[{_,_}]]