https://github.com/erichkeane commented: This seems reasonable to me. Its a shame that TRANSFORM_TYPE_TRAIT_DEF can't be done in terms of TYPE_TRAIT, but otherwiseI think this is a good direction. https://github.com/llvm/llvm-project/pull/111516