mutable icon indicating copy to clipboard operation
mutable copied to clipboard
verified publisher icon nikomatsakis

Prusti #[pure] annotations

Open ratmice opened this issue 6 years ago • 0 comments

If we could finagle Prusti's #[pure] annotations everywhere, we should remove the scare-quotes in "Pure", from the documentation!

ratmice avatar Oct 12 '19 12:10 ratmice