Comment Comment by xavxav Can you compare how your approach contrasts to Aeneas or RustHornBelt? How do you handle pointers and mutable borrows? parent xavxav 2 years ago
