*a = 1;
let _b = &*a; // This freezes `*a`. Frozen locations can be read by any raw pointer.
let _val = unsafe { *y; }; // Hence, this legal in Stacked Borrows.
*a = 1;
let _b = &*a; // This freezes `*a`. Frozen locations can be read by any raw pointer.
let _val = unsafe { *y; }; // Hence, this legal in Stacked Borrows.