dakersnar wrote: Do we want the above formatting change? I figured it was laid out the way it is for a reason, but maybe that reason is just "it was written before we started checking formatting" 😀. https://github.com/llvm/llvm-project/pull/139292