Comment on Formally Verifying Rust's Opaque TypesparentComments−brabel4yWithout a trait bound that demands cloneable items, no.
Comments
Without a trait bound that demands cloneable items, no.