Weird dialyzer warning: the pattern can never match the type

Questions & Help Questions
4

That’s not fine, coz it gives me warning…
How come a normal defmacro call is fine but not the nested defmacro..?