On Tuesday, 26 November 2013 at 20:14:15 UTC, inout wrote:
Any operation that expects int will essentially discard all the qualifiers.
It isn't surprising that any operation that expects int will get int. To take advantage of Validated, an operation has to expect Validated.
