Cowboy Dializer

gistfile1.txt

dialyzer deps/cowboy/ebin --plt ~/.n2o_dialyzer.plt --no_native -Werror_handling -Wunderspecs -Wrace_conditions
  Checking whether the PLT /Users/5HT/.n2o_dialyzer.plt is up-to-date... yes
  Proceeding with analysis...
cowboy_app.erl:17: Callback info about the application behaviour is not available
cowboy_clock.erl:22: Callback info about the gen_server behaviour is not available
cowboy_http.erl:159: Type specification cowboy_http:media_type(binary(),fun()) -> any() is a supertype of the success typing: cowboy_http:media_type(binary(),fun((_,_,_) -> any())) -> any()
cowboy_http.erl:248: Type specification cowboy_http:language_tag(binary(),fun()) -> any() is a supertype of the success typing: cowboy_http:language_tag(binary(),fun((_,_) -> any())) -> any()
cowboy_http.erl:272: Type specification cowboy_http:maybe_qparam(binary(),fun()) -> any() is a supertype of the success typing: cowboy_http:maybe_qparam(binary(),fun((_,_) -> any())) -> any()
cowboy_http.erl:293: Type specification cowboy_http:qparam(binary(),fun()) -> any() is a supertype of the success typing: cowboy_http:qparam(<<_:16,_:_*8>>,fun((_,_) -> any())) -> any()
cowboy_http.erl:308: Type specification cowboy_http:entity_tag(binary(),fun()) -> any() is a supertype of the success typing: cowboy_http:entity_tag(<<_:8,_:_*8>>,fun()) -> any()
cowboy_http.erl:354: Type specification cowboy_http:param(binary(),fun()) -> any() is a supertype of the success typing: cowboy_http:param(binary(),fun((_,_,_) -> any())) -> any()
cowboy_http.erl:466: Type specification cowboy_http:http_date_ret(binary(),tuple()) -> any() is a supertype of the success typing: cowboy_http:http_date_ret(binary(),{_,_}) -> any()
cowboy_http.erl:507: Type specification cowboy_http:date1(binary(),fun()) -> any() is a supertype of the success typing: cowboy_http:date1(binary(),fun((_,_) -> any())) -> any()
cowboy_http.erl:525: Type specification cowboy_http:date2(binary(),fun()) -> any() is a supertype of the success typing: cowboy_http:date2(binary(),fun((_,_) -> any())) -> any()
cowboy_http.erl:547: Type specification cowboy_http:date3(binary(),fun()) -> any() is a supertype of the success typing: cowboy_http:date3(binary(),fun((_,_) -> any())) -> any()
cowboy_http.erl:579: Type specification cowboy_http:time(binary(),fun()) -> any() is a supertype of the success typing: cowboy_http:time(<<_:64,_:_*8>>,fun((_,_) -> any())) -> any()
cowboy_http.erl:635: Type specification cowboy_http:alpha(binary(),fun()) -> any() is a supertype of the success typing: cowboy_http:alpha(binary(),fun((_,_) -> any())) -> any()
cowboy_http.erl:651: Type specification cowboy_http:word(binary(),fun()) -> any() is a supertype of the success typing: cowboy_http:word(binary(),fun((_,_) -> any())) -> any()
cowboy_http.erl:663: Type specification cowboy_http:token_ci(binary(),fun()) -> any() is a supertype of the success typing: cowboy_http:token_ci(binary(),fun((_,_) -> any())) -> any()
cowboy_http.erl:668: Type specification cowboy_http:token(binary(),fun()) -> any() is a supertype of the success typing: cowboy_http:token(binary(),fun((_,_) -> any())) -> any()
cowboy_http.erl:689: Type specification cowboy_http:quoted_string(binary(),fun()) -> any() is a supertype of the success typing: cowboy_http:quoted_string(<<_:8,_:_*8>>,fun()) -> any()
cowboy_http.erl:704: Type specification cowboy_http:qvalue(binary(),fun()) -> any() is a supertype of the success typing: cowboy_http:qvalue(binary(),fun((_,_) -> any())) -> any()
cowboy_http.erl:750: Type specification cowboy_http:authorization_basic_userid(binary(),fun()) -> any() is a supertype of the success typing: cowboy_http:authorization_basic_userid(binary(),fun((_,_) -> {'error' | <<_:40>>,'badarg' | {_,_}})) -> {'error' | <<_:40>>,'badarg' | {_,_}}
cowboy_http.erl:764: Type specification cowboy_http:authorization_basic_password(binary(),fun()) -> any() is a supertype of the success typing: cowboy_http:authorization_basic_password(binary(),fun((_) -> {<<_:40>>,{_,_}})) -> {'error' | <<_:40>>,'badarg' | {_,_}}
cowboy_http.erl:820: Type specification cowboy_http:range_digits(binary(),fun()) -> any() is a supertype of the success typing: cowboy_http:range_digits(binary(),fun((_,_) -> any())) -> any()
cowboy_http.erl:827: Type specification cowboy_http:range_digits(binary(),any(),fun()) -> any() is a supertype of the success typing: cowboy_http:range_digits(binary(),'infinity' | 'suffix',fun((_,_) -> any())) -> any()
cowboy_http.erl:837: Type specification cowboy_http:parameterized_tokens(binary()) -> any() is a supertype of the success typing: cowboy_http:parameterized_tokens(binary()) -> [any(),...] | {'error','badarg'}
cowboy_http.erl:863: Type specification cowboy_http:parameterized_tokens_param(binary(),fun()) -> any() is a supertype of the success typing: cowboy_http:parameterized_tokens_param(binary(),fun((_,_) -> any())) -> any()
cowboy_multipart.erl:87: Type specification cowboy_multipart:prefixes(binary()) -> [binary()] is a supertype of the success typing: cowboy_multipart:prefixes(<<_:8,_:_*8>>) -> [<<_:8,_:_*8>>,...]
cowboy_req.erl:303: Type specification cowboy_req:host_url(Req) -> {'undefined' | binary(),Req} when is_subtype(Req,req()) is a supertype of the success typing: cowboy_req:host_url(#http_req{transport::atom() | tuple(),connection::'close' | 'keepalive',pid::pid(),method::binary(),version::'HTTP/1.0' | 'HTTP/1.1',peer::'undefined' | {_,_},host::'undefined' | binary(),host_info::'undefined' | [binary()],path::binary(),path_info::'undefined' | [binary()],qs::binary(),qs_vals::'undefined' | [{binary(),'true' | binary()}],bindings::'undefined' | [{atom(),binary()}],headers::[{binary(),binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])}],p_headers::[any()],cookies::'undefined' | [{binary(),binary()}],meta::[{atom(),_}],body_state::'done' | 'waiting' | {'stream',non_neg_integer(),fun((binary(),_) -> 'more' | {'error',atom()} | {'done',non_neg_integer(),binary()} | {'done',binary(),non_neg_integer(),binary()} | {'more',non_neg_integer(),binary(),_} | {'ok',binary(),binary(),_}),_,fun((binary()) -> {'error',atom()} | {'ok',binary()})},multipart::'undefined' | {non_neg_integer(),fun()},buffer::binary(),resp_compress::boolean(),resp_state::'chunks' | 'done' | 'locked' | 'stream' | 'waiting' | 'waiting_stream',resp_headers::[{binary(),binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])}],resp_body::binary() | fun((_,atom() | tuple()) -> 'ok') | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | []) | {'chunked' | non_neg_integer(),fun((...) -> 'ok')},onresponse::'already_called' | 'undefined' | fun((binary() | non_neg_integer(),[{binary(),binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])}],binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | []),_) -> any())}) -> {'undefined' | <<_:56,_:_*8>>,#http_req{transport::atom() | tuple(),connection::'close' | 'keepalive',pid::pid(),method::binary(),version::'HTTP/1.0' | 'HTTP/1.1',peer::'undefined' | {_,_},host::'undefined' | binary(),host_info::'undefined' | [binary()],path::binary(),path_info::'undefined' | [binary()],qs::binary(),qs_vals::'undefined' | [{binary(),'true' | binary()}],bindings::'undefined' | [{atom(),binary()}],headers::[{binary(),binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])}],p_headers::[any()],cookies::'undefined' | [{binary(),binary()}],meta::[{atom(),_}],body_state::'done' | 'waiting' | {'stream',non_neg_integer(),fun((binary(),_) -> 'more' | {'error',atom()} | {'done',non_neg_integer(),binary()} | {'done',binary(),non_neg_integer(),binary()} | {'more',non_neg_integer(),binary(),_} | {'ok',binary(),binary(),_}),_,fun((binary()) -> {'error',atom()} | {'ok',binary()})},multipart::'undefined' | {non_neg_integer(),fun()},buffer::binary(),resp_compress::boolean(),resp_state::'chunks' | 'done' | 'locked' | 'stream' | 'waiting' | 'waiting_stream',resp_headers::[{binary(),binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])}],resp_body::binary() | fun((_,atom() | tuple()) -> 'ok') | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | []) | {'chunked' | non_neg_integer(),fun((...) -> 'ok')},onresponse::'already_called' | 'undefined' | fun((binary() | non_neg_integer(),[{binary(),binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])}],binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | []),_) -> any())}}
cowboy_rest.erl:897: Type specification cowboy_rest:encode_etag({'strong' | 'weak',binary()}) -> iolist() is a supertype of the success typing: cowboy_rest:encode_etag({'strong',binary()} | {'weak',binary()}) -> [binary() | [34 | 47 | 87,...] | 34,...]
cowboy_sup.erl:17: Callback info about the supervisor behaviour is not available
cowboy_websocket.erl:579: The call cowboy_websocket:websocket_close(State::#state{env::'undefined' | [{_,_}],transport::atom() | tuple(),handler::atom() | tuple(),key::'undefined' | binary(),timeout::'infinity' | non_neg_integer(),timeout_ref::'undefined' | reference(),messages::'undefined' | {atom(),atom(),atom()},hibernate::boolean(),frag_state::'undefined' | {'fin',0 | 1 | 2 | 8 | 9 | 10,binary()} | {'nofin',0 | 1 | 2 | 8 | 9 | 10,binary()},utf8_state::binary(),deflate_frame::boolean(),inflate_state::'undefined' | port(),deflate_state::'undefined' | port()},Req::any(),HandlerState::any(),{'remote',char(),bitstring()}) will never return since it differs in the 4th argument from the success typing arguments: (#state{env::'undefined' | [{atom(),_}],transport::atom() | tuple(),handler::atom() | tuple(),key::'undefined' | binary(),timeout::'infinity' | non_neg_integer(),timeout_ref::'undefined' | reference(),messages::'undefined' | {atom(),atom(),atom()},hibernate::boolean(),frag_state::'undefined' | {'fin',0 | 1 | 2 | 8 | 9 | 10,binary()} | {'nofin',0 | 1 | 2 | 8 | 9 | 10,binary()},utf8_state::binary(),deflate_frame::boolean(),inflate_state::'undefined' | port(),deflate_state::'undefined' | port()},cowboy_req:req(),any(),{'error','badencoding' | 'badframe' | 'handler'} | {'normal','shutdown' | 'timeout'} | {'remote','closed'})