https://github.com/aemerson commented: Not for this PR, but the ergonomics of our legality checking story is horrendous. This approach of having to constantly check for every single thing we create can't scale in the long term. https://github.com/llvm/llvm-project/pull/117439