• d-bugmail puremagic.com (29/29) Dec 18 2021 https://issues.dlang.org/show_bug.cgi?id=22608

d-bugmail puremagic.com writes:

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

          Issue ID: 22608
           Summary: RandomAccessInfinite is not a valid random-access
                    range
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P1
         Component: phobos
          Assignee: nobody puremagic.com
          Reporter: snarwin+bugzilla gmail.com

As of DMD 2.098.0, the following program fails to compile:

---
import std.range.primitives: isRandomAccessRange;
import std.range.interfaces: RandomAccessInfinite;

static assert(isRandomAccessRange!(RandomAccessInfinite!int));
---

The error message is:

---
bug.d(4): Error: static assert: 
`isRandomAccessRange!(RandomAccessInfinite!int)` is false
---

The failure occurs because `isInfinite!(RandomAccessInfinite!int)` evaluates to
false, which happens because `RandomAccessInfinite!int.empty` cannot be
evaluated at compile time.

--