Refined types [almost OT]

[Meta via Digitalmars-d]

On Sunday, 12 October 2014 at 19:36:35 UTC, bearophile wrote:
> Meta:
>
>> On Sunday, 12 October 2014 at 16:21:50 UTC, bearophile wrote:
>> What happens if one of these conditions fails? Is an exception 
>> thrown?
>
> If you are using refined types, and D is somewhat assuming they 
> are refinements of those types, and one of those condition 
> fails, then you surely have a compile-time type error, because 
> those conditions are an intrinsic part of those type definition.
>
> Bye,
> bearophile

It's not possible to issue a compile-time error for runtime 
arguments, though, and it can already be done in D using template 
constraints for compile-time arguments.