8ddc0df1f1
Relate alias ty with variance
In the new solver, turns out that the subst-relate branch of the alias-relate predicate was relating args invariantly even for opaques, which have variance 💀.
This change is a bit more invasive, but I'd rather not special-case it [here](
|
||
---|---|---|
.. | ||
src | ||
Cargo.toml | ||
messages.ftl |