"Type T accidentically implemented the interface I. Then a variable of type T was passed to something accepting I accidentically resulting in a hard to find bug."
Does not seem to be a realistic problem. I can see why somebody might want to annotate it explicitly just for the clarity but let's not pretend it will prevent bugs. For that you'd need hard data from the real world.
