Fix #1927, I think. Basically the type constraints on a contravariant type parameter shouldn't be taken into account when deciding whether to add a generic cast to an expression with a raw type. It seems.
Test for #1927
.src changed by fix for #1927