hir_ty::next_solver::infer

Module resolve

Source
Expand description

Things for resolving vars in the infer context of the next-trait-solver.

Structsยง

OpportunisticVarResolver
The opportunistic resolver can be used at any time. It simply replaces type/const variables that have been unified with the things they have been unified with (similar to shallow_resolve, but deep). This is useful for printing messages etc but also required at various points for correctness.