Module fold

Fold impls for the next-trait-solver.

Structs

FnMutDelegate

A simple delegate taking 3 mutable functions. The used functions must always return the same result for each bound variable, no matter how frequently they are called.

Traits

BoundVarReplacerDelegate

A delegate used when instantiating bound vars.