Struct rustc_lint::middle::infer::resolve::OpportunisticTypeResolverUnstable
[-] [+]
[src]
pub struct OpportunisticTypeResolver<'a, 'tcx> where 'tcx: 'a {
// some fields omitted
}
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.