fix use_function::operator!=

no comment, fix #4390