https://issues.dlang.org/show_bug.cgi?id=24542
Issue ID: 24542
Summary: actually apply VRP to foreach indices when array is of
known length
Product: D
Version: D2
Hardware: All
OS: All
Status: NEW
Severity: enhancement
Priority: P1
Component: dmd
Assignee: [email protected]
Reporter: [email protected]
Follow-up to Issue 24450
```d
foreach (int i, int x; cond() ? [1,2,3] : [1,2])
{ }
```
should likewise not be an error. The length is not known, but is bounded the
same way `cond() ? 3 : 2` is bounded, and VRP detects that.
--