On Wednesday, 3 April 2013 at 21:44:36 UTC, Jonathan M Davis
wrote:
The main issue I have with the wrapper is the fact that you're
then forced to
overload your function if you want it to test the argument for
validity if
it's not wrapped and not test if it's wrapped. So, you're
creating an extra
overload with every function that's using the wrapper to
determine whether it
should test or not. And if you're not creating those overloads,
then there was
no point in creating the wrapper in the first place.
I think the solution here is to ensure we have a way to
implicitly construct the Verified from the value.