Module resolve 

Resolve mutable borrows

Traits

Resolve

The trait Resolve makes it possible to expose to clients a custom resolve assertion for opaque types.

Functions

resolve

This logical function is assumed as soon as a value leaves its scope. It states that the propheties of every mutable borrow appearing in it parameter is eaqual to its current value.

structural_resolve

(open, prophetic)