River707 wrote: I'm a little confused by the description of this PR, there is no `description` field on Constraint. `descr` corresponds to the summary of the type, not its description. https://github.com/llvm/llvm-project/pull/110939