pure member functions

[bearophile]

Jonathan M Davis:

> I assume that if you declare a member function as pure, then all of its 
> parameters - including the invisible this - are included in that. That is, if 
> all of them - including the invisible this - have the same value, then the 
> result will be the same.

This D2 program runs with no errors, and here there isn't a D language/compiler bug:

struct Foo {
    int x;
    this (int xx) { this.x = xx; }
    pure int bar() { return x; }
}
void main() {
    Foo f = Foo(1);
    assert(f.bar() == 1);
    f.x *= 2;
    assert(f.bar() == 2);
}

Bye,
bearophile