[Issue 5906] Just pre-conditions at compile-time when arguments are static

[d-bugmail at puremagic.com]

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



--- Comment #8 from bearophile_hugs at eml.cc 2013-03-07 12:15:52 PST ---
(In reply to comment #7)

> This can be done by converting precondition bodies to expressions then
> const-folding them.  Non-trivial, but possible.

Thank you for the note, that seems better than having nothing.


> This only makes sense if we define violating a function's precondition as
> invalid code.

This seems OK. What are possible downsides of this?

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------