This is like the C++ Concepts idea except for the control statements.

The C++ Concepts work with the same idea except it is at compile-time and applies to the whole function or a type/class.