As shown in https://github.com/JuliaLang/julia/pull/57091, deleting the bounds checking at an early stage may help the compiler generate better code. Notes: * Not sure if the consideration applies here, given that `checked_size_product` is unlikely to be called with a large tuple * We lose `:foldable` by default by using `@inbounds`