&mut T should be invariant in T.