[Issue 6857] Precondition contract checks should be statically bound.

[via Digitalmars-d-bugs]

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

--- Comment #89 from Andrei Alexandrescu <and...@erdani.com> ---
To clarify: this issue is preapproved and is waiting for an implementation.

--