John Erickson

Adding `ToHandle`-like helper functions for Mutex and RwLock

1

Thanks for making this crate! I had some trouble getting `RwLock

Add helper functions so that consumers don't have to write unsafe code to use `OwningHandle::new_with_fn` with `RwLock` or `Mutex`. For issue #59

https://github.com/johnterickson/cargo2junit/pull/30#issuecomment-668455790 > Could you set the classname attribute only when it is available or maybe to a default value like default? Having only src/main.rs and src/lib.rs without further modules there...

Emit Rust code

3

Rust is a particularly interesting language to interop with Dafny because of it's strong types, anti-aliasing guarantees, memory safety, and performance optimizations. An example of how this could light up...