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

pub enum GenerateMemberConstraints {
    WhenRequired,
    IfNoStaticBound,
}

Whether member constraints should be generated for all opaque types

Variants

WhenRequired

The default, used by typeck

IfNoStaticBound

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[src]

impl Send for GenerateMemberConstraints[src]

impl Sync for GenerateMemberConstraints[src]

impl Unpin for GenerateMemberConstraints[src]

impl UnwindSafe for GenerateMemberConstraints[src]

Blanket Implementations

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

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

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

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

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

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.

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.

impl<T> WithConstness for T[src]