[ANN] AllocCheck.jl: Static code analysis to prove allocation-free behavior

[carstenbauer]

I’m (still) wondering why there isn’t a call site macro (similar to @code_*) but only one for method definitions.