[Issue 13185] Detect precondition violations at compile time when possible

[d-bugmail at puremagic.com]

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

Dennis <dkorpel at live.nl> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |dkorpel at live.nl
         Resolution|---                         |WONTFIX

--- Comment #7 from Dennis <dkorpel at live.nl> ---
As discussed here and in the PR review, the suggestion is not well-defined. It
re-implements an ever-growing subset of CTFE/constant folding, which has to be
specified for speculative contexts or pushed to the backend. Since yebblies is
no longer active as a D contributor, I'm going to close this, but anyone is
welcome to champion a new, more defined proposal/implementation.

--