i think the important underlying bit is that something like

let x = T(..)
let y = x

doesn't need to copy the value if the borrow checker determines that

x

isn't used again