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.

Trait Implementations

impl Debug for GenerateMemberConstraints

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

Layout

Note: Most layout information is completely unstable and may be different between compiler versions and platforms. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 1 byte