Refined types [almost OT]

[bearophile via Digitalmars-d]

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