Comment on Formally Verifying Rust's Opaque TypesparentComments−tatref4yCan't the function just return `(a.clone, a.clone())`?Maybe you mean something like this? `fn extend_vec(to: &mut Vec<i32>, from: &Vec<i32>) { ... }`This does not compile if you pass the same Vec as to and from, because of the `&mut`−brabel4yWithout a trait bound that demands cloneable items, no.
Comments
Can't the function just return `(a.clone, a.clone())`?
Maybe you mean something like this? `fn extend_vec(to: &mut Vec<i32>, from: &Vec<i32>) { ... }`
This does not compile if you pass the same Vec as to and from, because of the `&mut`
Without a trait bound that demands cloneable items, no.