![]() Don't grab variances in `TypeRelating` relation if we're invariant Since `Invariant.xform(var) = Invariant` always, so just copy what the generalizer relation does. Fixes #110106 |
||
---|---|---|
.. | ||
src | ||
Cargo.toml | ||
messages.ftl |
![]() Don't grab variances in `TypeRelating` relation if we're invariant Since `Invariant.xform(var) = Invariant` always, so just copy what the generalizer relation does. Fixes #110106 |
||
---|---|---|
.. | ||
src | ||
Cargo.toml | ||
messages.ftl |