On Wednesday, 10 June 2020 at 23:26:35 UTC, Paul Backus wrote:
On Wednesday, 10 June 2020 at 23:03:21 UTC, Adam D. Ruppe wrote:
On Wednesday, 10 June 2020 at 22:50:17 UTC, Paul Backus wrote:
static assert(isInputRange!S); // passes

isInputRange doesn't check it but others do. std.random.isSeedable requires @property on front for example.

Nope:

struct S {
    bool empty() { return false; }
    int front() { return 0; }
    void popFront() {}
    enum bool isUniformRandom = true;
    void seed(int s) {}
}
        
static assert(isSeedable!(S, int));

My bad, missed the one-argument overload. That one does require @property.

Reply via email to