Struct rustc_trait_selection::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>

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]