Indeed, and “Bernie Democrats” too. I don’t think there has ever been an election where the primary’s “loser” has been treated so badly, and whose supporters are so enraged at the “winner”.
Do not be surprised that a number of angry Bernie supporters will be voting for Trump.