Trait rustc_trans::middle::infer::error_reporting::ResolvableUnstable
[-] [+]
[src]
pub trait Resolvable<'tcx> { fn resolve(&self, infcx: &InferCtxt<'a, 'tcx>) -> Self; fn contains_error(&self) -> bool; }
Required Methods
fn resolve(&self, infcx: &InferCtxt<'a, 'tcx>) -> Self
fn contains_error(&self) -> bool
Implementors
impl<'tcx> Resolvable<'tcx> for &'tcx TyS<'tcx>
impl<'tcx> Resolvable<'tcx> for Rc<TraitRef<'tcx>>
impl<'tcx> Resolvable<'tcx> for Binder<Rc<TraitRef<'tcx>>>