I've been wanting to do this for a while, actually.
Mutability of  `vstore_slice` and `RegionTraitStore` should be stored in the variants themselves, not in `ty_vec` or `ty_trait`.