https://issues.dlang.org/show_bug.cgi?id=13976
Per Nordlöw <per.nord...@gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |per.nord...@gmail.com --- Comment #3 from Per Nordlöw <per.nord...@gmail.com> --- Does this include avoiding range checking in expressions such as ```D x[0 .. $/2, $2..$] ``` which is a reoccurring pattern in D-style binary divide-and-conquer algorithms. It would be super-cool if it worked for rational variants with slice indexes in the form ```D $*p/q ``` where it can be statically proven that `p <= q`. --