Pre-RFC: Downgradable mutable borrows

I think it should still be safe. To use a reference as a &'long mut<'short> argument 'short still must be valid, so this doesn't change in respect to the existing &mut T. Only if immutable and mutable references were unified e.g. with something like &'long mut<'!> T it would become problematic.

1 Like