[Issue 23996] pragma(assume)

[d-bugmail at puremagic.com]

https://issues.dlang.org/show_bug.cgi?id=23996

elpenguino+D at gmail.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |elpenguino+D at gmail.com

--- Comment #1 from elpenguino+D at gmail.com ---
I think assert(expr) could provide this functionality. Maybe with a
-checkaction=assume switch? It would also work for contracts, invariants, etc
then, while also making it trivial to test the assumptions.

--