otp-eunit

Code pulled with git from git://github.com/erlang/otp.git with the last commit being

These are Intersection warnings for otp-eunit.

(Only new warnings by Intersection-enabled analysis are listed. Warnings by current public version of Dialyzer are listed here.)

dialyzer -n -q -Wno_improper_lists --apps eunit
eunit_lib.erl:342: The call eunit_lib:uniq('ok') will never return since it differs in the 1st argument from the success typing arguments: ([any(),...]) or ([])
eunit_lib.erl:343: The call eunit_lib:uniq(nonempty_improper_list(1,2)) will never return since it differs in the 1st argument from the success typing arguments: ([any(),...]) or ([])

Applications