https://github.com/maerhart approved this pull request. Looks good. Tests could be a bit more thorough, e.g., * Alias analysis test * test where we need to switch to a dynamic layout https://github.com/llvm/llvm-project/pull/67666