> Haxe does not typecheck macros. That is a weird statement. Haxe expression macros by definition return untyped AST to be processed further normally by the ty

> Haxe does not typecheck macros. That is a weird statement. Haxe expression macros by definition return untyped AST to be processed further normally by the typer, just like hand-written code. And it will be type-checked. And then there's an AST node existing exactly for type-checking (or, rather, type unification) that you can generate to insert custom checks: https://haxe.org/manual/expression-type-check.html https://haxe.org/manual/expression-type-check.html