replace any by std::any_of