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

[via Digitalmars-d-bugs]

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

--- Comment #4 from bearophile_hugs at eml.cc ---
(In reply to yebblies from comment #2)

> I think they have different purposes.  This is simply extra best-effort
> checking to catch invalid calls at compile-time.  It does not allow you to
> implement custom static checking.

I value your work and efforts, but why add an ultra-special case that generates
an error, instead of a little more general solution?

--