Enum rustc_trait_selection::opaque_types::GenerateMemberConstraints[−][src]

pub enum GenerateMemberConstraints {
    WhenRequired,
    IfNoStaticBound,
}
Expand description

Whether member constraints should be generated for all opaque types

Variants

WhenRequired
Expand description

The default, used by typeck

IfNoStaticBound
Expand description

The borrow checker needs member constraints in any case where we don’t have a 'static bound. This is because the borrow checker has more flexibility in the values of regions. For example, given f<'a, 'b> the borrow checker can have an inference variable outlive 'a and 'b, but not be equal to 'static.

Auto Trait Implementations

impl RefUnwindSafe for GenerateMemberConstraints

impl Send for GenerateMemberConstraints

impl Sync for GenerateMemberConstraints

impl Unpin for GenerateMemberConstraints

impl UnwindSafe for GenerateMemberConstraints

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]