ldionne wrote: My understanding is that this is only to reduce the number of small headers now that the definition of the trait is near trivial. I agree a one-line justification in the patch would help, though. https://github.com/llvm/llvm-project/pull/99458