================ ---------------- fabrizio-indirli wrote: Added some tests. Note that dynamic bounds are not supported, so the corresponding test is a negative one. https://github.com/llvm/llvm-project/pull/163806