joker-eph wrote: > (2) verifiers can inspect the region freely as it is a part of the operation being verified (otherwise, we cannot verify traits such as single-block regions). You mean: "can inspect 'nested regions' freely" right? https://github.com/llvm/llvm-project/pull/74401