Sanders was out-polling Trump in the general election by an average of 10 or so points, whereas Clinton was only slightly ahead.