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. Jason