Why is this not simply a `static_assert`? _Originally posted by @philnik777 in https://github.com/llvm/llvm-project/pull/110729#discussion_r1807351560_