[Issue 583] Throw statements in contracts

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=583


bugzilla at digitalmars.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |INVALID




------- Comment #1 from bugzilla at digitalmars.com  2008-06-30 01:23 -------
Since D is a systems programming language, you can always find a way to defeat
the compiler's checking. The reason that throwing arbitrary exceptions is not
allowed in contracts is because the sole purpose of the code in the contracts
is to check for programming bugs, and throwing non-assert exceptions is not
consistent with that.


--