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`.
--
