if T does not implement Copy trait then x is not usable after "let y = x", right?