Rouquier's cocovering theorem and well-generated triangulated categories