prusti-dev icon indicating copy to clipboard operation
prusti-dev copied to clipboard
verified publisher icon viperproject

Enforce no unwrap in proc macro implementations

Open JonasAlaif opened this issue 3 years ago • 0 comments

TODO: remove existing unwraps

JonasAlaif avatar Sep 29 '22 13:09 JonasAlaif