Struct GenericPredicates 

pub struct GenericPredicates {
    predicates: StoredEarlyBinder<StoredClauses>,
    has_trait_implied_predicate: bool,
    parent_explicit_self_predicates_start: u32,
    own_predicates_start: u32,
    own_assoc_ty_bounds_start: u32,
}

Fields

predicates: StoredEarlyBinder<StoredClauses>

has_trait_implied_predicate: bool

parent_explicit_self_predicates_start: u32

own_predicates_start: u32

own_assoc_ty_bounds_start: u32

Implementations

impl<'db> GenericPredicates

pub fn query_with_diagnostics( db: &'db dyn HirDatabase, def: GenericDefId, ) -> &'db TyLoweringResult<'db, GenericPredicates>

Resolve the where clause(s) of an item with generics.

Diagnostics are computed only for this item’s predicates, not for parents.

impl GenericPredicates

pub fn empty() -> &'static GenericPredicates

pub(crate) fn from_explicit_own_predicates( predicates: StoredEarlyBinder<StoredClauses>, ) -> Self

pub fn query(db: &dyn HirDatabase, def: GenericDefId) -> &GenericPredicates

pub fn query_all<'db>( db: &'db dyn HirDatabase, def: GenericDefId, ) -> EarlyBinder<'db, impl Iterator<Item = Clause<'db>>>

pub fn query_own_explicit<'db>( db: &'db dyn HirDatabase, def: GenericDefId, ) -> EarlyBinder<'db, impl Iterator<Item = Clause<'db>>>

pub fn query_explicit<'db>( db: &'db dyn HirDatabase, def: GenericDefId, ) -> EarlyBinder<'db, impl Iterator<Item = Clause<'db>>>

pub fn all_predicates( &self, ) -> EarlyBinder<'_, impl Iterator<Item = Clause<'_>>>

pub fn own_explicit_predicates( &self, ) -> EarlyBinder<'_, impl Iterator<Item = Clause<'_>>>

pub fn explicit_predicates( &self, ) -> EarlyBinder<'_, impl Iterator<Item = Clause<'_>>>

pub fn explicit_non_assoc_types_predicates( &self, ) -> EarlyBinder<'_, impl Iterator<Item = Clause<'_>>>

pub fn explicit_assoc_types_predicates( &self, ) -> EarlyBinder<'_, impl Iterator<Item = Clause<'_>>>

Trait Implementations

impl Clone for GenericPredicates

fn clone(&self) -> GenericPredicates

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GenericPredicates

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

Formats the value using the given formatter.

impl Hash for GenericPredicates

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 for GenericPredicates

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for GenericPredicates

impl StructuralPartialEq for GenericPredicates