Not a double negative

One day in class the professor said, “In English a double negative means a positive, and some ‘ungrammatical’ double negatives mean a negative, but a double positive never means a negative.

At which point, a student’s voice in the back of the room piped up, “Yeah, right.”