You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I's going through the examples for shared references here and found that replacing let ptr4 = sref3 as *mut i32; with let ptr4 = sref3 as *const i32 as *mut i32; doesn't work even without miri on