Module rustc::infer::resolve

Unstable (rustc_private)

Structs

OpportunisticTypeAndRegionResolver	[Unstable] The opportunistic type and region resolver is similar to the opportunistic type resolver, but also opportunistly resolves regions. It is useful for canonicalization.
OpportunisticTypeResolver	[Unstable] The opportunistic type resolver can be used at any time. It simply replaces type 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.

Functions

fully_resolve

[Unstable] Full type resolution replaces all type and region variables with their concrete results. If any variable cannot be replaced (never unified, etc) then an Err result is returned.