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

[via Digitalmars-d-bugs]

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

--- Comment #11 from bearophile_hugs at eml.cc ---
Even this doesn't compile, but it should:

void main() {
    ubyte x;
    static assert(x >= 0);
}

--