Last time I looked at mrustc, it didn't have a borrow checker it just assumed the lifetimes were valid.