Trait rustc::infer::error_reporting::Resolvable

pub trait Resolvable<'tcx> {
    fn resolve<'a, 'gcx>(&self, infcx: &InferCtxt<'a, 'gcx, 'tcx>) -> Self;
}

Unstable (rustc_private)

Required Methods

fn resolve<'a, 'gcx>(&self, infcx: &InferCtxt<'a, 'gcx, 'tcx>) -> Self

Unstable (rustc_private)

Implementors

• impl<'tcx> Resolvable<'tcx> for Ty<'tcx>
• impl<'tcx> Resolvable<'tcx> for TraitRef<'tcx>
• impl<'tcx> Resolvable<'tcx> for PolyTraitRef<'tcx>