A Hazard of Covariant Return Types and Bridge Methods

A combination of bridge methods, covariant return types and dynamic dispatch can lead to some surprising and unfortunate results.