No, because `mut Foo<T>` does not exist. There is no such thing as a mutable field. It would do the right thing with `RefCell<T>` because `RefCell` would need to be invariant with respect to `T` since it contains `Unsafe<T>`