Need unsafe block in unsafe block

Ype Kingma · Ype Kingma · commit 417d3871283f · 2025-05-16T13:01:57.000+02:00
diff --git a/tests/ui/lifetimes_bound_nested_ref_expl.rs b/tests/ui/lifetimes_bound_nested_ref_expl.rs
@@ -49,7 +49,7 @@ impl<'a, 'b> Extend1<'a, 'b> for <&'b &'a () as Trait1>::Type1 {
 unsafe fn deinit_slice_mut<'a, 'b, T>(s: &'a mut &'b mut [T]) -> &'a mut &'b mut [MaybeUninit<T>] {
     let s: *mut &mut [T] = s;
     let s = s as *mut &mut [MaybeUninit<T>];
-    &mut *s
+    unsafe {&mut *s}
 }
 
 // test case for unnamed references.
diff --git a/tests/ui/lifetimes_bound_nested_ref_impl.rs b/tests/ui/lifetimes_bound_nested_ref_impl.rs
@@ -51,7 +51,7 @@ impl<'a: 'b, 'b> Extend1<'a, 'b> for <&'b &'a () as Trait1>::Type1 {
 unsafe fn deinit_slice_mut<'a, 'b: 'a, T>(s: &'a mut &'b mut [T]) -> &'a mut &'b mut [MaybeUninit<T>] {
     let s: *mut &mut [T] = s;
     let s = s as *mut &mut [MaybeUninit<T>];
-    &mut *s
+    unsafe {&mut *s}
 }
 
 // test case for unnamed references.

Original file line number	Diff line number	Diff line change
`@@ -49,7 +49,7 @@ impl<'a, 'b> Extend1<'a, 'b> for <&'b &'a () as Trait1>::Type1 {`
`49`	`49`	`unsafe fn deinit_slice_mut<'a, 'b, T>(s: &'a mut &'b mut [T]) -> &'a mut &'b mut [MaybeUninit<T>] {`
`50`	`50`	`let s: *mut &mut [T] = s;`
`51`	`51`	`let s = s as *mut &mut [MaybeUninit<T>];`
`52`		`- &mut *s`
	`52`	`+ unsafe {&mut *s}`
`53`	`53`	`}`
`54`	`54`
`55`	`55`	`// test case for unnamed references.`
Original file line number	Diff line number	Diff line change
`@@ -51,7 +51,7 @@ impl<'a: 'b, 'b> Extend1<'a, 'b> for <&'b &'a () as Trait1>::Type1 {`
`51`	`51`	`unsafe fn deinit_slice_mut<'a, 'b: 'a, T>(s: &'a mut &'b mut [T]) -> &'a mut &'b mut [MaybeUninit<T>] {`
`52`	`52`	`let s: *mut &mut [T] = s;`
`53`	`53`	`let s = s as *mut &mut [MaybeUninit<T>];`
`54`		`- &mut *s`
	`54`	`+ unsafe {&mut *s}`
`55`	`55`	`}`
`56`	`56`
`57`	`57`	`// test case for unnamed references.`