Function prusti_contracts::snapshot_equality

pub fn snapshot_equality<T>(_l: T, _r: T) -> bool

Snapshot, “logical”, or “mathematical” equality. Compares the in-memory representation of two instances of the same type, even if there is no PartialEq nor Copy implementation. The in-memory representation is constructed recursively: references are followed, unsafe pointers and cells are not. Importantly, addresses are not taken into consideration.