So you will infer different variances for `Foo<T>` and `mut Foo<T>` (covariant and invariant, respectively)? (My mistake was assuming you propose inferring variance per poly-type, vs per type).