joker-eph wrote: > We might want to add a `[[deprecated]]` getter for the old name, but otherwise, approved. We don't have any API stability, this seems totally unnecessary to me: it just adds clutter and churn upstream. https://github.com/llvm/llvm-project/pull/144739