Lukas Wirth @lukaswirth.dev · Dec 30

rust-analyzer now has some basic* parameter variance inferrence and it shows it on hover! *basic as in it can't handle cyclic dependencies yet for temporary implementation reasons, it also struggles with usages within const arguments.

56 likes 1 replies

?

Replies

Predrag Gruevski · Dec 30

Oh wow, this would be awesome info to have in cargo-semver-checks! Imagine: "generic type parameter T used to be covariant but now is invariant, this is a breaking change"