Note that this does not enforce any bounds. MyBounded 15 will compile and run just fine. Enforcing those invariants can only be done indirectly via ensure clauses at the moment. See Should runtime/API respect namespace scopes? and Extending Ensure for non Templates - #4 by Gary_Verhaegen for some discussion.
1 Like