At some point we'll need to modify the rewriting of hypothetical lifetimes to handle cases where a pointer in the original struct becomes something other than a reference (such as Box<T>, or in this case being left as *mut T), but this should work well enough for now.
At some point we'll need to modify the rewriting of hypothetical lifetimes to handle cases where a pointer in the original struct becomes something other than a reference (such as
Box<T>, or in this case being left as*mut T), but this should work well enough for now._Originally posted by @spernsteiner in https://github.com/immunant/c2rust/pull/960#discussion_r1229953857_