https://github.com/Dinistro commented: I wonder if this should be made a part of `FunctionOpInterface` instead. I don't see a case where a function would not be an `AffineScope`, but I might be missing something. https://github.com/llvm/llvm-project/pull/144456