Struct rustc_infer::infer::resolve::OpportunisticRegionResolver[−][src]

pub struct OpportunisticRegionResolver<'a, 'tcx> {
    infcx: &'a InferCtxt<'a, 'tcx>,
}
Expand description

The opportunistic region resolver opportunistically resolves regions variables to the variable with the least variable id. It is used when normlizing projections to avoid hitting the recursion limit by creating many versions of a predicate for types that in the end have to unify.

If you want to resolve type and const variables as well, call InferCtxt::resolve_vars_if_possible first.

Fields

infcx: &'a InferCtxt<'a, 'tcx>

Implementations

impl<'a, 'tcx> OpportunisticRegionResolver<'a, 'tcx>[src]

pub fn new(infcx: &'a InferCtxt<'a, 'tcx>) -> Self[src]

Trait Implementations

impl<'a, 'tcx> TypeFolder<'tcx> for OpportunisticRegionResolver<'a, 'tcx>[src]

fn tcx<'b>(&'b self) -> TyCtxt<'tcx>[src]

fn fold_ty(&mut self, t: Ty<'tcx>) -> Ty<'tcx>[src]

fn fold_region(&mut self, r: Region<'tcx>) -> Region<'tcx>[src]

fn fold_const(&mut self, ct: &'tcx Const<'tcx>) -> &'tcx Const<'tcx>[src]

fn fold_binder<T>(&mut self, t: Binder<'tcx, T>) -> Binder<'tcx, T> where
    T: TypeFoldable<'tcx>, [src]

fn fold_mir_const(&mut self, c: ConstantKind<'tcx>) -> ConstantKind<'tcx>[src]

Auto Trait Implementations

impl<'a, 'tcx> !RefUnwindSafe for OpportunisticRegionResolver<'a, 'tcx>

impl<'a, 'tcx> !Send for OpportunisticRegionResolver<'a, 'tcx>

impl<'a, 'tcx> !Sync for OpportunisticRegionResolver<'a, 'tcx>

impl<'a, 'tcx> Unpin for OpportunisticRegionResolver<'a, 'tcx> where
    'tcx: 'a, 

impl<'a, 'tcx> !UnwindSafe for OpportunisticRegionResolver<'a, 'tcx>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

pub fn type_id(&self) -> TypeId[src]

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

Mutably borrows from an owned value. Read more

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

Performs the conversion.

impl<T, U> Into<U> for T where
    U: From<T>, [src]

pub fn into(self) -> U[src]

Performs the conversion.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

Performs the conversion.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

Performs the conversion.

impl<T> WithConstness for T[src]

fn with_constness(self, constness: Constness) -> ConstnessAnd<Self>[src]

fn with_const(self) -> ConstnessAnd<Self>[src]

fn without_const(self) -> ConstnessAnd<Self>[src]

impl<'a, T> Captures<'a> for T where
    T: ?Sized, [src]