We consider the problem of closure verification in the context of Rust programs and, speci
cally, the Prusti project. We categorize closure occurrences in real-world code into four …

Closures are anonymous functions which are able to capture variables declared in the
enclosing scope. They are a common and useful feature, present in many popular …