widen args version constraint