[Issue 13010] Use variable range propagation (VRP) for static assert

[via Digitalmars-d-bugs]

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

--- Comment #8 from Lionello Lunesu <lio+bugzilla at lunesu.com> ---
(In reply to David Nadlinger from comment #7)
> I'm not sure whether this is worth the added language complexity. Do you
> have an example for a compelling use case?

Statically testing the range of a variable:

ubyte u;
static assert(u >= 0);

--