fhahn wrote: FWIW it looks like we can handle the motivating case from https://github.com/llvm/llvm-project/issues/90417 in constraint-elimination: https://github.com/llvm/llvm-project/pull/94610 https://github.com/llvm/llvm-project/pull/93598