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
