https://github.com/matthias-springer commented: Looks good overall! Are you going to add another hook in a follow-up PR to materialize the reconciliation? I.e., the lambda that actually builds the `memref.cast` etc. https://github.com/llvm/llvm-project/pull/202667