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