banach-space wrote: > Would it be better to submit a single PR for the ticket? Sure, let me extend this PR. TBH, I kept it small to make sure some progress is made - I am trying to squeeze this in between other things 😅 https://github.com/llvm/llvm-project/pull/141656