Type-inference failure when using `--check-bounds=no` with Julia 1.10

I am on a Nvidia Grace CPU, using Polyester.jl v0.7.9 and Julia 1.10.0.
When starting Julia with `julia -t 16 --check-bounds=no`:
```julia
julia> using Polyester

julia> f(n) = @batch for _ in 1:n end
f (generic function with 1 method)

julia> f(50)

julia> @time f(50)
0.000696 seconds (146 allocations: 4.562 KiB)

julia> @time f(500)
0.001785 seconds (596 allocations: 18.625 KiB)

julia> @code_typed f(50)
CodeInfo(
1 ─── %1 = Base.Threads.cglobal(:jl_n_threads_per_pool, Ptr{Int32})::Ptr{Ptr{Int32}}
│ %2 = Base.pointerref(%1, 1, 1)::Ptr{Int32}
...
122 ┄ %437 = φ (#120 => %322, #88 => 0x0000000000000000)::UInt64
│ %438 = Base.add_int(%437, 0x0000000000000001)::UInt64
│ %439 = Base.bitcast(Int64, %438)::Int64
│ %440 = Base.bitcast(Int64, %51)::Int64
│ %441 = invoke Main.:*(%439::Int64, static(1)::Static.StaticInt{1})::Any
│ %442 = (%441 + static(1))::Any
│ %443 = (%442 - static(1))::Any
│ %444 = invoke Main.:*(%440::Int64, static(1)::Static.StaticInt{1})::Any
...
```
Allocations happen at each loop iteration, because for some reason `*(::Int64, ::StaticInt{1})` was not inlined? AllocCheck.jl reports a lot of dynamic calls where `Static` values are used. The rest of `@code_typed` shows similar occurrences.
This does not happen on x86.