Warning for missing @inbounds #45
Description
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.