I think a (probably opt-in only) warning for generated @boundscheck statements would be very helpful.
Sometimes, there is code with multiple (inline) functions and nested control flow. In those cases, it can be quite hard to keep track of @inbounds propagation rules and I'd like to have a tool that tells me which lines of my code still perform bounds checking.
I think a (probably opt-in only) warning for generated
@boundscheckstatements would be very helpful.Sometimes, there is code with multiple (inline) functions and nested control flow. In those cases, it can be quite hard to keep track of
@inboundspropagation rules and I'd like to have a tool that tells me which lines of my code still perform bounds checking.