Struct ItemBounds 

pub(crate) struct ItemBounds {
    bounds: StoredEarlyBinder<StoredClauses>,
    non_self_bounds_start: u32,
}

Fields

bounds: StoredEarlyBinder<StoredClauses>

non_self_bounds_start: u32

Implementations

impl ItemBounds

pub(crate) fn of_solver_def<'db>( db: &'db dyn HirDatabase, def_id: SolverDefId<'db>, ) -> &'db ItemBounds

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

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

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

impl ItemBounds

fn of<'db>( db: &'db dyn HirDatabase, def_id: ItemWithBounds<'db>, ) -> &'db ItemBounds

Trait Implementations

impl Debug for ItemBounds

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

Formats the value using the given formatter.

impl Eq for ItemBounds

impl PartialEq for ItemBounds

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ItemBounds