template<typename T> struct S{ template <class T1 = T> typename disable_if<is_const<T1>, int>::type mutating_method();};