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

[via Digitalmars-d-bugs]

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

--- Comment #5 from yebblies <yebblies at gmail.com> ---
(In reply to bearophile_hugs from comment #4)
> 
> I value your work and efforts, but why add an ultra-special case that
> generates an error, instead of a little more general solution?

To start with, because your enhancement is a language enhancement while this is
a diagnostic enhancement.  There's nothing little about adding a language
feature.

I disagree that this is an ultra-special case.  My pull request only implements
a couple of cases, but I intend to expand the checking significantly if it's
accepted.

--