joker-eph wrote: > The only downside I think about it is when having constant/static sizes it would be folded aways thus verified only once. I don't quite follow the case you're referring to? https://github.com/llvm/llvm-project/pull/183795