joker-eph wrote: How does it play in practice though? Attributes and types aren't printed in isolation in general (other than aliases). What are examples of this when attached to an operation? https://github.com/llvm/llvm-project/pull/87948