Struct rustc_hir::WhereBoundPredicate

pub struct WhereBoundPredicate<'hir> {
    pub hir_id: HirId,
    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

hir_id: HirId

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> Clone for WhereBoundPredicate<'hir>

fn clone(&self) -> WhereBoundPredicate<'hir>

Returns a copy of the value.

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

Performs copy-assignment from source.

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)

impl<'hir> Copy for WhereBoundPredicate<'hir>

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: 64 bytes