That's true but missing the point. The point is that C++20 adds a way to catch yourself before you make the exact type of mistake the grandparent comment talks

That's true but missing the point. The point is that C++20 adds a way to catch yourself before you make the exact type of mistake the grandparent comment talks about. https://en.cppreference.com/w/cpp/language/constraints https://en.cppreference.com/w/cpp/language/constraints