I can't get Contravariant function args

In C++ I'm having a hell of time getting these new contravariant function parameters working.

>>7
A side effect is when you set one part of memory but some other part of memory gets messed up unintentionally.

Or at least that's what my high school APCS teacher taught us. It still amazes me to this day how confident he was when he said that.