Implementation details

• Structs are not allowed to contain pointers

struct Foo<'a>{
    b: &'a Bar // <- Not allowed
}

• Functions that return a reference are all inlined and removed from the MIR

fn foo(..) -> &Bar{..} // All uses of `foo` will be inlined

• All pointers are optimized away

let i = 42;
let i_ref = &i; // i_ref doesn't exist, and it also has no address