rustc​::middle​::typeck​::infer​::unify

Structs

NodeSnapshotUnificationTable

Traits

InferCtxtMethodsForSimplyUnifiableTypesSimplyUnifiableUnifyKeyUnifyValue

Functions

err

Struct rustc::middle::typeck::infer::unify::Snapshot[src]

pub struct Snapshot<K> {
    // some fields omitted
}

At any time, users may snapshot a unification table. The changes made during the snapshot may either be commited or rolled back.