Hi >Why should id_expression_or_member_access_p be false? >"declval<T>().dummy" is a class member access (5.2.5) regardless of >what >kind of member dummy is.
I see, thanks. Then I suppose that finish_decltype_type must be adjusted to handle the COMPOUND_EXPR, I'll look into it. Thanks again Paolo