philnik777 wrote: You should make the operators conditionally available based on whether the underlying type has them. The rest looks good. https://github.com/llvm/llvm-project/pull/68494