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: nob...@puremagic.com Reporter: qs.il.paperi...@gmail.com 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. --