Struct rustc_trans::middle::infer::resolve::OpportunisticTypeResolverExperimental

pub struct OpportunisticTypeResolver<'a, 'tcx> {
    // 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.

Methods

impl<'a, 'tcx> OpportunisticTypeResolver<'a, 'tcx>

fn new(infcx: &'a InferCtxt<'a, 'tcx>) -> OpportunisticTypeResolver<'a, 'tcx>

Trait Implementations

impl<'a, 'tcx> TypeFolder<'tcx> for OpportunisticTypeResolver<'a, 'tcx>

fn tcx(&self) -> &ctxt<'tcx>

fn fold_ty(&mut self, t: &'tcx TyS<'tcx>) -> &'tcx TyS<'tcx>

fn enter_region_binder(&mut self)

fn exit_region_binder(&mut self)

fn fold_ty(&mut self, &'tcx TyS<'tcx>) -> &'tcx TyS<'tcx>

fn fold_mt(&mut self, &mt<'tcx>) -> mt<'tcx>

fn fold_trait_ref(&mut self, &TraitRef<'tcx>) -> TraitRef<'tcx>

fn fold_substs(&mut self, &Substs<'tcx>) -> Substs<'tcx>

fn fold_fn_sig(&mut self, &FnSig<'tcx>) -> FnSig<'tcx>

fn fold_output(&mut self, &FnOutput<'tcx>) -> FnOutput<'tcx>

fn fold_bare_fn_ty(&mut self, &BareFnTy<'tcx>) -> BareFnTy<'tcx>

fn fold_closure_ty(&mut self, &ClosureTy<'tcx>) -> ClosureTy<'tcx>

fn fold_region(&mut self, Region) -> Region

fn fold_trait_store(&mut self, TraitStore) -> TraitStore

fn fold_existential_bounds(&mut self, &ExistentialBounds<'tcx>) -> ExistentialBounds<'tcx>

fn fold_autoref(&mut self, &AutoRef<'tcx>) -> AutoRef<'tcx>

fn fold_item_substs(&mut self, ItemSubsts<'tcx>) -> ItemSubsts<'tcx>