I'm looking at holding the CV qualifiers of a member function on the MEMBER_TYPE node itself, rather than only on the this pointer argument.
this brings up a design issue of what TYPE_MAIN_VARIANT should be of a cv qualified member function. Should it be itself (thereby breaking the invariant that T_M_V is always unqualified), or should it be the cv unqualified member function? Our current behaviour is such that T_M_V of a member function is a self reference. Clearly cp_build_qualified_type should continue to reject cv qualifying a MEMBER_TYPE. We'd need a new cp_build_qualified_member_type to do that, so we can correctly deal with the syntactic differences. thoughts? nathan -- Nathan Sidwell :: http://www.codesourcery.com :: CodeSourcery LLC [EMAIL PROTECTED] :: http://www.planetfall.pwp.blueyonder.co.uk
