On 11/01/2013 03:21 PM, Kenji Hara wrote:

The first delegate should not become pure.

Why not? It is weakly pure, like the following:

void main(){
    struct S{
        int num;
        void member(int x)pure{ num = x; } // pure
    }
    S s;
    func(&s.member); // weakly pure function call

}