timnoack wrote: @joker-eph @ftynse Not sure who to ping here. I saw that @matthias-springer implemented verification of type constraints on types / attributes. https://github.com/llvm/llvm-project/pull/169153