Template Constraints

[psychoticRabbit]

On Saturday, 24 February 2018 at 04:22:12 UTC, Jonathan M Davis 
wrote:
> Why is there anything dodgy going on and why would you need 
> contracts? Contracts actually tend to go very badly with 
> generic code, because whatever they assert has to be generic, 
> and while that works sometimes, more often than not, it doesn't.
>
> - Jonathan M Davis

what if 3.3 is passed to the template, and it explicately casts 
it to an int.

To me, that would be dodgy - unless there was a contract, that I 
had accepted and agreed to, so that this not dodgy.