On 6/14/14, 10:05 AM, David Nadlinger wrote:
On Saturday, 14 June 2014 at 16:45:19 UTC, Maxim Fomin wrote:The case which you described is a not a type safety problem.If a struct type has a non-trivial invariant(), .init allows an object to exist that violates it without an Error being thrown.
Yah, that does make it a loophole. -- Andrei
