On Saturday, 14 June 2014 at 17:05:21 UTC, 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.
Arguing that this is not part of the type system would be
splitting hairs.
David
Déjà vu
http://forum.dlang.org/thread/[email protected]#post-mailman.550.1349377293.5162.digitalmars-d:40puremagic.com
https://issues.dlang.org/show_bug.cgi?id=7021
If I not mistaken it was Kenji who updated the init spec.
