[staticassertion]

That's because it's using constexpr. The equivalent in Rust would be const fn. This is using Rust traits.

The goal isn't to be concise, I think the goal is literally to just do it in the trait system