> To disable adressof operator, just disable it in your gramamr using
> proto::not_

I thought about it, but the problem is that Empty has terminal as base class:
 
struct Empty: public state<>, proto::terminal<state_tag>

and thus &Empty will reproduce the problem.  Or am I missing something obvious? (answer:probably ;-) )
 
Christophe

---

See all the ways you can stay connected to friends and family