Jezurko wrote: We've had some cases where we could do with smaller types in a downstream project. @xlauko also mentioned that he could use these in CIR, so we thought it would make sense to add this to upstream MLIR. https://github.com/llvm/llvm-project/pull/190825