DIP33: A standard exception hierarchy

[deadalnix]

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.