pub struct SelfAndAssocBounds {
bounds: StoredEarlyBinder<StoredClauses>,
assoc_ty_bounds_start: u32,
}Fields§
§bounds: StoredEarlyBinder<StoredClauses>§assoc_ty_bounds_start: u32Implementations§
Source§impl SelfAndAssocBounds
impl SelfAndAssocBounds
pub fn all_bounds(&self) -> EarlyBinder<'_, &[Clause<'_>]>
pub fn self_bounds(&self) -> EarlyBinder<'_, &[Clause<'_>]>
Source§impl SelfAndAssocBounds
impl SelfAndAssocBounds
pub(crate) fn return_type_impl_traits( db: &dyn HirDatabase, def: FunctionId, ) -> &[SelfAndAssocBounds]
pub(crate) fn type_alias_impl_traits( db: &dyn HirDatabase, def: TypeAliasId, ) -> &[SelfAndAssocBounds]
Trait Implementations§
Source§impl Debug for SelfAndAssocBounds
impl Debug for SelfAndAssocBounds
impl Eq for SelfAndAssocBounds
Source§impl Hash for SelfAndAssocBounds
impl Hash for SelfAndAssocBounds
Source§impl PartialEq for SelfAndAssocBounds
impl PartialEq for SelfAndAssocBounds
impl SalsaValue for SelfAndAssocBounds
impl StructuralPartialEq for SelfAndAssocBounds
Auto Trait Implementations§
impl Freeze for SelfAndAssocBounds
impl RefUnwindSafe for SelfAndAssocBounds
impl Send for SelfAndAssocBounds
impl Sync for SelfAndAssocBounds
impl Unpin for SelfAndAssocBounds
impl UnsafeUnpin for SelfAndAssocBounds
impl UnwindSafe for SelfAndAssocBounds
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more