`@inbounds` overrides `val` variable in macros. Wrong usage of `local` about julia

[vtjnash]

This sounds like a bug nearly identical to #53667, but yeah we could rename that to something more awkward to avoid clashes while this bug is still pending in the hygiene computation

[Pangoraw]

Linking #48910 which has a similar cause/problem (although with @inline).

[0x0f0f0f]

I'm confused by the behavior of local?

julia> begin 
           x = 2 
           begin 
               local x = 3
           end
           x
       end
3

julia> x = 2 
           begin 
               local x = 3
           end
           x
2 # works correctly in global scope? 

julia> begin 
           x = 2 
           if x > 1
               local x = 3
           end
           x
       end
3

julia> begin 
           x = 2 
           for i in 1:x
               local x = 3
           end
           x
       end
2

I'm referring to the manual page on scoping https://docs.julialang.org/en/v1/manual/variables-and-scoping/

Notably missing from this table are begin blocks and if blocks which do not introduce new scopes. The three types of scopes follow somewhat different rules which will be explained below.

If local has no effect on begin and if blocks, why use it in @inbounds and @inline?

[giordano]

Also similar to #41451 and #48015 (for logging macros).