Struct rustc_hir::hir::WhereBoundPredicate

pub struct WhereBoundPredicate<'hir> {
    pub span: Span,
    pub origin: PredicateOrigin,
    pub bound_generic_params: &'hir [GenericParam<'hir>],
    pub bounded_ty: &'hir Ty<'hir>,
    pub bounds: GenericBounds<'hir>,
}

A type bound (e.g., for<'c> Foo: Send + Clone + 'c).

Fields

span: Span

origin: PredicateOrigin

Origin of the predicate.

bound_generic_params: &'hir [GenericParam<'hir>]

Any generics from a for binding.

bounded_ty: &'hir Ty<'hir>

The type being bounded.

bounds: GenericBounds<'hir>

Trait and lifetime bounds (e.g., Clone + Send + 'static).

Implementations

impl<'hir> WhereBoundPredicate<'hir>

pub fn is_param_bound(&self, param_def_id: DefId) -> bool

Returns true if param_def_id matches the bounded_ty of this predicate.

Trait Implementations

impl<'hir> Debug for WhereBoundPredicate<'hir>

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

Formats the value using the given formatter.

impl<'hir, __CTX> HashStable<__CTX> for WhereBoundPredicate<'hir>where
    __CTX: HashStableContext,

fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)

Layout

Note: Most layout information is completely unstable and may even differ between compilations. 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: 56 bytes