$ rebar3 dialyzer
===> Verifying dependencies...
===> Analyzing applications...
===> Compiling fast_xml
===> Dialyzer starting, this may take a while...
===> Updating plt...
===> Resolving files...
===> Checking 230 files in _build/default/rebar3_25.0.2_plt...
===> Doing success typing analysis...
===> Resolving files...
===> Analyzing 9 files with _build/default/rebar3_25.0.2_plt...
src/fxml_gen.erl
Line 1: Function make_decoders/5 will never be called
Line 1: Function make_decoders_json/4 will never be called
Line 1: Function make_decoding_MFA/9 has no local return
Line 1: The created fun has no local return
Line 1: Function make_encoders/3 will never be called
Line 1: Function make_printer/4 will never be called
Line 1: The created fun has no local return
Line 1: Function make_registrar/1 will never be called
Line 1: Function make_resolver/2 will never be called
Line 1: Function make_top_decoders/3 will never be called
Line 1: Function make_top_decoders_json/2 will never be called
Line 422 Column 1: Function write_module/9 has no local return
Line 467 Column 1: Function write_resolver/4 has no local return
Line 509 Column 1: Function make_aux_funs/0 will never be called
Line 573 Column 1: Function make_local_funs/3 will never be called
Line 645 Column 28: The call string:join(Records::[[[any()],...],...], Sep::[any(),...]) breaks the contract (StringList, Separator) -> String when StringList :: [string()], Separator :: string(), String :: string()
Line 712 Column 1: Function make_atd_records/4 will never be called
Line 806 Column 1: Function record_to_atd_string/3 will never be called
Line 871 Column 1: Function tuple_to_atd_string/5 will never be called
Line 890 Column 1: Function record_to_atd_types/4 will never be called
Line 966 Column 1: Function atd_header/1 will never be called
Line 1225 Column 39: The call fxml_gen:make_function_call(nonempty_string() | {_,nonempty_string()}, [{'var', {1225, 45}, 'El'}]) does not have a term of type [{'eof',non_neg_integer() | {non_neg_integer(),pos_integer()}} | {'error',{non_neg_integer() | {_,_},atom(),_}} | {'nil',erl_anno:anno()} | {'warning',{non_neg_integer() | {_,_},atom(),_}} | {atom(),erl_anno:anno(),_} | {atom(),atom() | erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[{_,_,_,_,_}],[{_,_,_,_,_}],[any()]},...] (with opaque subterms) as 2nd argument
Line 1233 Column 39: The call fxml_gen:make_function_call(nonempty_string() | {_,nonempty_string()}, [{'var', {1233, 45}, 'El'}]) does not have a term of type [{'eof',non_neg_integer() | {non_neg_integer(),pos_integer()}} | {'error',{non_neg_integer() | {_,_},atom(),_}} | {'nil',erl_anno:anno()} | {'warning',{non_neg_integer() | {_,_},atom(),_}} | {atom(),erl_anno:anno(),_} | {atom(),atom() | erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[{_,_,_,_,_}],[{_,_,_,_,_}],[any()]},...] (with opaque subterms) as 2nd argument
Line 1243 Column 1: Function make_top_encoders/3 will never be called
Line 1493 Column 1: Function make_getters_setters/3 will never be called
Line 1553 Column 17: The created fun has no local return
Line 1729 Column 30: The call fxml_gen:make_function_call(nonempty_string(), [{'atom',{1733,46},'undefined'} | {'var',{1729 | 1730,15 | 36},'__TopXMLNS' | '_attrs'},...]) does not have a term of type [{'eof',non_neg_integer() | {non_neg_integer(),pos_integer()}} | {'error',{non_neg_integer() | {_,_},atom(),_}} | {'nil',erl_anno:anno()} | {'warning',{non_neg_integer() | {_,_},atom(),_}} | {atom(),erl_anno:anno(),_} | {atom(),atom() | erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[{_,_,_,_,_}],[{_,_,_,_,_}],[any()]},...] (with opaque subterms) as 2nd argument
Line 1822 Column 8: The call erl_syntax:clause([{'var', {1822, 14}, '_new_el'}], 'none', [{'tree','list',{'attr',{1824,14},[],'none'},{'list',[{'var',{1824,15},'_new_el'},...],{'tree',atom(),{'attr',erl_anno:anno(),[],'none'},_}}},...]) does not have a term of type [{'eof',non_neg_integer() | {non_neg_integer(),pos_integer()}} | {'error',{non_neg_integer() | {_,_},atom(),_}} | {'nil',erl_anno:anno()} | {'warning',{non_neg_integer() | {_,_},atom(),_}} | {atom(),erl_anno:anno(),_} | {atom(),atom() | erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[{_,_,_,_,_}],[{_,_,_,_,_}],[any()]}] (with opaque subterms) as 1st argument
Line 1860 Column 6: The call erl_syntax:clause([{'var', {1860, 12}, '_'}], 'none', [{'tree',atom(),{'attr',erl_anno:anno(),[],'none'},_},...]) does not have a term of type [{'eof',non_neg_integer() | {non_neg_integer(),pos_integer()}} | {'error',{non_neg_integer() | {_,_},atom(),_}} | {'nil',erl_anno:anno()} | {'warning',{non_neg_integer() | {_,_},atom(),_}} | {atom(),erl_anno:anno(),_} | {atom(),atom() | erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[{_,_,_,_,_}],[{_,_,_,_,_}],[any()]}] (with opaque subterms) as 1st argument
Line 1869 Column 11: The call erl_syntax:list([{'var', {1869, 17}, '_el'}], {'tree',atom(),{'attr',erl_anno:anno(),[],'none'},_}) does not have a term of type [{'eof',non_neg_integer() | {non_neg_integer(),pos_integer()}} | {'error',{non_neg_integer() | {_,_},atom(),_}} | {'nil',erl_anno:anno()} | {'warning',{non_neg_integer() | {_,_},atom(),_}} | {atom(),erl_anno:anno(),_} | {atom(),atom() | erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[{_,_,_,_,_}],[{_,_,_,_,_}],[any()]}] (with opaque subterms) as 1st argument
Line 1893 Column 33: The call erl_syntax:binary_field({'tree',atom(),{'attr',erl_anno:anno(),[],'none'},_}, [{'atom', {1893, 39}, 'binary'}]) does not have a term of type [{'eof',non_neg_integer() | {non_neg_integer(),pos_integer()}} | {'error',{non_neg_integer() | {_,_},atom(),_}} | {'nil',erl_anno:anno()} | {'warning',{non_neg_integer() | {_,_},atom(),_}} | {atom(),erl_anno:anno(),_} | {atom(),atom() | erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[{_,_,_,_,_}],[{_,_,_,_,_}],[any()]}] (with opaque subterms) as 2nd argument
Line 1930 Column 34: The call erl_syntax:clause([{'atom', {1930, 40}, 'error'}], 'none', [{'tree','application',{'attr',{1932,40},[],'none'},{'application',{'tree','module_qualifier',{'attr',{1932,46},[],'none'},{'module_qualifier',{'atom',{1932,40},'erlang'},{'atom',{1932,47},'error'}}},[{'tree','tuple',{'attr',{1933,7},[],'none'},[{'tree',atom(),{'attr',_,[any()],'none' | {_,_,_}},_} | {'wrapper',atom(),{'attr',_,[any()],'none' | {_,_,_}},{'eof',non_neg_integer() | {_,_}} | {'error',{_,_,_}} | {'nil',erl_anno:anno()} | {'warning',{_,_,_}} | {atom(),erl_anno:anno(),_} | {atom(),erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[any()],[any()],[any()]}},...]},...]}},...]) does not have a term of type [{'eof',non_neg_integer() | {non_neg_integer(),pos_integer()}} | {'error',{non_neg_integer() | {_,_},atom(),_}} | {'nil',erl_anno:anno()} | {'warning',{non_neg_integer() | {_,_},atom(),_}} | {atom(),erl_anno:anno(),_} | {atom(),atom() | erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[{_,_,_,_,_}],[{_,_,_,_,_}],[any()]}] (with opaque subterms) as 1st argument
Line 2120 Column 48: The call erl_syntax:clause([{'var',{2118 | 2119,13 | 67},'__TopXMLNS' | '_acc'} | {'tree',atom(),{'attr',_,[any()],'none' | {_,_,_}},_} | {'wrapper',atom(),{'attr',_,[any()],'none' | {_,_,_}},{'eof',non_neg_integer() | {_,_}} | {'error',{_,_,_}} | {'nil',erl_anno:anno()} | {'warning',{_,_,_}} | {atom(),erl_anno:anno(),_} | {atom(),erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[any()],[any()],[any()]}},...], 'none', [{'var', {2120, 54}, '_acc'}]) does not have a term of type [{'eof',non_neg_integer() | {non_neg_integer(),pos_integer()}} | {'error',{non_neg_integer() | {_,_},atom(),_}} | {'nil',erl_anno:anno()} | {'warning',{non_neg_integer() | {_,_},atom(),_}} | {atom(),erl_anno:anno(),_} | {atom(),atom() | erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[{_,_,_,_,_}],[{_,_,_,_,_}],[any()]}] (with opaque subterms) as 3rd argument
Line 2125 Column 42: The call erl_syntax:clause([{'nil', {2125, 48}}, {'var', {2125, 58}, '__TopXMLNS'}, {'var', {2125, 76}, '_acc'}], 'none', [{'var', {2126, 54}, '_acc'}]) does not have opaque terms as 1st and 3rd arguments
Line 2130 Column 19: The call lists:map(fun((_) -> none()), Refs::nonempty_maybe_improper_list()) will never return since the success typing arguments are (fun((_) -> any()),[any()])
Line 2226 Column 27: The call erl_syntax:clause([{'var', {2226, 33}, '_value'}], 'none', [{'tree','tuple',{'attr',{2228,33},[],'none'},[{'var',{2217 | 2294 | 2839 | 2880,42 | 46 | 50 | 52},'_X' | '_val' | '_val1' | '_value'} | {'tree',atom(),{'attr',_,[any()],'none' | {_,_,_}},_} | {'wrapper',atom(),{'attr',_,[any()],'none' | {_,_,_}},{'eof',non_neg_integer() | {_,_}} | {'error',{_,_,_}} | {'nil',erl_anno:anno()} | {'warning',{_,_,_}} | {atom(),erl_anno:anno(),_} | {atom(),erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[any()],[any()],[any()]}},...]},...]) does not have a term of type [{'eof',non_neg_integer() | {non_neg_integer(),pos_integer()}} | {'error',{non_neg_integer() | {_,_},atom(),_}} | {'nil',erl_anno:anno()} | {'warning',{non_neg_integer() | {_,_},atom(),_}} | {atom(),erl_anno:anno(),_} | {atom(),atom() | erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[{_,_,_,_,_}],[{_,_,_,_,_}],[any()]}] (with opaque subterms) as 1st argument
Line 2236 Column 35: The call erl_syntax:clause([{'var', {2236, 41}, '_'}], 'none', [{'eof',non_neg_integer() | {_,_}} | {'error',{_,_,_}} | {'nil',erl_anno:anno()} | {'warning',{_,_,_}} | {atom(),erl_anno:anno(),_} | {atom(),atom() | erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[{_,_,_,_,_}],[{_,_,_,_,_}],[any()]},...]) does not have a term of type [{'eof',non_neg_integer() | {non_neg_integer(),pos_integer()}} | {'error',{non_neg_integer() | {_,_},atom(),_}} | {'nil',erl_anno:anno()} | {'warning',{non_neg_integer() | {_,_},atom(),_}} | {atom(),erl_anno:anno(),_} | {atom(),atom() | erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[{_,_,_,_,_}],[{_,_,_,_,_}],[any()]}] (with opaque subterms) as 1st argument
Line 2243 Column 41: The call fxml_gen:make_function_call(nonempty_string() | {_,nonempty_string()}, [{'atom',{2246,57},'undefined'} | {'var',{2243,47},'_fields'},...]) does not have a term of type [{'eof',non_neg_integer() | {non_neg_integer(),pos_integer()}} | {'error',{non_neg_integer() | {_,_},atom(),_}} | {'nil',erl_anno:anno()} | {'warning',{non_neg_integer() | {_,_},atom(),_}} | {atom(),erl_anno:anno(),_} | {atom(),atom() | erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[{_,_,_,_,_}],[{_,_,_,_,_}],[any()]},...] (with opaque subterms) as 2nd argument
Line 2303 Column 19: The call erl_syntax:clause([{'var', {2303, 25}, '_val'}], 'none', [{'var',{2217 | 2294 | 2839 | 2880,42 | 46 | 50 | 52},'_X' | '_val' | '_val1' | '_value'} | {'tree',atom(),{'attr',_,[any()],'none' | {_,_,_}},_} | {'wrapper',atom(),{'attr',_,[any()],'none' | {_,_,_}},{'eof',non_neg_integer() | {_,_}} | {'error',{_,_,_}} | {'nil',erl_anno:anno()} | {'warning',{_,_,_}} | {atom(),erl_anno:anno(),_} | {atom(),erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[any()],[any()],[any()]}},...]) does not have a term of type [{'eof',non_neg_integer() | {non_neg_integer(),pos_integer()}} | {'error',{non_neg_integer() | {_,_},atom(),_}} | {'nil',erl_anno:anno()} | {'warning',{non_neg_integer() | {_,_},atom(),_}} | {atom(),erl_anno:anno(),_} | {atom(),atom() | erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[{_,_,_,_,_}],[{_,_,_,_,_}],[any()]}] (with opaque subterms) as 1st argument
Line 2499 Column 27: The call erl_syntax:clause([{'tree','tuple',{'attr',{2497,33},[],'none'},[{'tree',atom(),{'attr',_,[any()],'none' | {_,_,_}},_} | {'wrapper',atom(),{'attr',_,[any()],'none' | {_,_,_}},{'eof',non_neg_integer() | {_,_}} | {'error',{_,_,_}} | {'nil',erl_anno:anno()} | {'warning',{_,_,_}} | {atom(),erl_anno:anno(),_} | {atom(),erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[any()],[any()],[any()]}},...]},...], 'none', [{'atom', {2499, 33}, 'null'}]) does not have a term of type [{'eof',non_neg_integer() | {non_neg_integer(),pos_integer()}} | {'error',{non_neg_integer() | {_,_},atom(),_}} | {'nil',erl_anno:anno()} | {'warning',{non_neg_integer() | {_,_},atom(),_}} | {atom(),erl_anno:anno(),_} | {atom(),atom() | erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[{_,_,_,_,_}],[{_,_,_,_,_}],[any()]}] (with opaque subterms) as 3rd argument
Line 2605 Column 19: The call erl_syntax:clause([{'var', {2605, 25}, '_val'}], 'none', [{'var',{2509 | 2596 | 2672,42 | 46 | 50},'_X' | '_val'} | {'tree',atom(),{'attr',_,[any()],'none' | {_,_,_}},_} | {'wrapper',atom(),{'attr',_,[any()],'none' | {_,_,_}},{'eof',non_neg_integer() | {_,_}} | {'error',{_,_,_}} | {'nil',erl_anno:anno()} | {'warning',{_,_,_}} | {atom(),erl_anno:anno(),_} | {atom(),erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[any()],[any()],[any()]}},...]) does not have a term of type [{'eof',non_neg_integer() | {non_neg_integer(),pos_integer()}} | {'error',{non_neg_integer() | {_,_},atom(),_}} | {'nil',erl_anno:anno()} | {'warning',{non_neg_integer() | {_,_},atom(),_}} | {atom(),erl_anno:anno(),_} | {atom(),atom() | erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[{_,_,_,_,_}],[{_,_,_,_,_}],[any()]}] (with opaque subterms) as 1st argument
Line 3258 Column 42: The call erl_syntax:clause([{'var', {3258, 48}, '_res'}], 'none', [{'var', {3258, 68}, '_res'}]) does not have opaque terms as 1st and 3rd arguments
Line 3261 Column 3: The call erl_syntax:clause([{'var', {3261, 9}, '__TopXMLNS'}, {'var', {3262, 9}, '_val'}], 'none', [{'var',{3243,25},'_val'} | {'tree',atom(),{'attr',erl_anno:anno(),[],'none'},_},...]) does not have a term of type [{'eof',non_neg_integer() | {non_neg_integer(),pos_integer()}} | {'error',{non_neg_integer() | {_,_},atom(),_}} | {'nil',erl_anno:anno()} | {'warning',{non_neg_integer() | {_,_},atom(),_}} | {atom(),erl_anno:anno(),_} | {atom(),atom() | erl_anno:anno(),_,_} | {'bin_element' | 'clause' | 'function' | 'op' | 'receive' | 'record' | 'record_field',erl_anno:anno(),_,_,_} | {'try',erl_anno:anno(),[any(),...],[{_,_,_,_,_}],[{_,_,_,_,_}],[any()]}] (with opaque subterms) as 1st argument
Line 3265 Column 1: Function make_encoding_MFA/6 will never be called
Line 3401 Column 1: Function record_fields_to_vars/2 will never be called
Line 3404 Column 1: Function record_fields_to_vars/3 will never be called
===> Warnings written to _build/default/25.0.2.dialyzer_warnings
===> Warnings occurred running dialyzer: 46