[boost] [type traits] issue with operator traits and volatile qualifier

Subject: [boost] [type traits] issue with operator traits and volatile qualifier
From: Frédéric Bron (frederic.bron_at_[hidden])
Date: 2011-05-25 11:15:03

Sorry for being absent during the last month but it was very hard to
find any time to work on the addition of the operator traits.
I have not yet had the time to deal with the naming issue...

But I found something more tricky while trying to solve the issue of
reference types (& was just ignored).

I never used the volatile qualifier but I found that the following
behaviour breaks the code that detects if an operator returns void or
not.
Could someone tell me why the following code does not compile?

bool f() { }
void g(const volatile bool &) { }

int main() {
        g(f());
        return 0;
}

Many thanks,

Frédéric