An Implementation Model for Rational Protocol Conformance Behavior

You could always try bisecting for the offending commit.

Wow, when did override become legal on protocols?