SCappella questions

SCappella answers

• Problems with lifetime/borrow on str type
• Using different lifetimes in struct implementations
• How do lifetimes in Rust impact mutability?
• Type : Type in Coq
• Coq simpl / unfold only once. (Replace part of goal with the result of one iteration of a function.)
• What do ellipses mean in a Coq proof?
• How to clone an Option of Rc in Rust?
• How does the compiler infer types in this Box::leak(node).into()?
• How to alias an impl trait?
• How to sort a Vec of structs by a String field?