News for hackers. Stuff that matters.
Re:Formally Verifying Rust's Opaque Types by tatref on Monday August 01, 2022 @11:23AM (#32307331)
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`

Re:Formally Verifying Rust's Opaque Types by brabel on Monday August 01, 2022 @01:08PM (#32309101)
Without a trait bound that demands cloneable items, no.