3 ms·Type-madness, Part 1: Enforcing simple constraints with types in C++2 points by jimktrains2 10y ago