Enum rustdoc_types::WherePredicate

pub enum WherePredicate {
    BoundPredicate {
        type_: Type,
        bounds: Vec<GenericBound>,
        generic_params: Vec<GenericParamDef>,
    },
    RegionPredicate {
        lifetime: String,
        bounds: Vec<GenericBound>,
    },
    EqPredicate {
        lhs: Type,
        rhs: Term,
    },
}

Variants

BoundPredicate

Fields

type_: Type

bounds: Vec<GenericBound>

generic_params: Vec<GenericParamDef>

Used for Higher-Rank Trait Bounds (HRTBs)

where for<'a> &'a T: Iterator,"
      ^^^^^^^
      |
      this part

RegionPredicate

Fields

lifetime: String

bounds: Vec<GenericBound>

EqPredicate

Fields

lhs: Type

rhs: Term

Trait Implementations

impl Clone for WherePredicate

fn clone(&self) -> WherePredicate

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for WherePredicate

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for WherePredicate

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for WherePredicate

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq<WherePredicate> for WherePredicate

fn eq(&self, other: &WherePredicate) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for WherePredicate

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for WherePredicate

impl StructuralEq for WherePredicate

impl StructuralPartialEq for WherePredicate