Add @inbands, analogous to @inbounds about bandedmatrices.jl HOT 2 CLOSED

It looks like @inbounds is hard coded into inference.jl, so it's not possible to replicate it's behaviour.

I think it's OK to use @inbounds to mean inside the band. @inbounds implicitly implies that the user knows something about the data storage, so if the user uses @inbounds incorrectly, it's their own fault.

from bandedmatrices.jl.

On second thought, this is a bad idea, as Base assumes @inbounds works for all indexes:

function copy!{T,N}(dest::AbstractArray{T,N}, src::AbstractArray{T,N})
    @boundscheck checkbounds(dest, indices(src)...)
    for I in eachindex(linearindexing(src,dest), src)
        @inbounds dest[I] = src[I]
    end
    dest
end

from bandedmatrices.jl.