<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> Imo in this case the problem isn't the term itself. I think Rust's variance is confusing in that</p><p>- Variance is already confusing by itself<br />- Suddenly people need to learn about subtyping relationship in a language without inheritance<br />- It's totally implicit, inferred, and no sign of its existence until you bump into a compilation error, where people don't know how to solve</p><p>We can't get rid of variance itself, but maybe the last point can be addressed.</p>
