Struct chalk_engine::slg::MayInvalidate
source · struct MayInvalidate<I> {
interner: I,
}
Fields§
§interner: I
Implementations§
source§impl<I: Interner> MayInvalidate<I>
impl<I: Interner> MayInvalidate<I>
fn aggregate_generic_args( &mut self, new: &GenericArg<I>, current: &GenericArg<I>, ) -> bool
sourcefn aggregate_tys(&mut self, new: &Ty<I>, current: &Ty<I>) -> bool
fn aggregate_tys(&mut self, new: &Ty<I>, current: &Ty<I>) -> bool
Returns true if the two types could be unequal.
sourcefn aggregate_lifetimes(&mut self, _: &Lifetime<I>, _: &Lifetime<I>) -> bool
fn aggregate_lifetimes(&mut self, _: &Lifetime<I>, _: &Lifetime<I>) -> bool
Returns true if the two consts could be unequal.
sourcefn aggregate_consts(&mut self, new: &Const<I>, current: &Const<I>) -> bool
fn aggregate_consts(&mut self, new: &Const<I>, current: &Const<I>) -> bool
Returns true if the two consts could be unequal.
fn aggregate_placeholders( &mut self, new: &PlaceholderIndex, current: &PlaceholderIndex, ) -> bool
fn aggregate_projection_tys( &mut self, new: &ProjectionTy<I>, current: &ProjectionTy<I>, ) -> bool
fn aggregate_opaque_ty_tys( &mut self, new: &OpaqueTy<I>, current: &OpaqueTy<I>, ) -> bool
fn aggregate_name_and_substs<N>( &mut self, new_name: N, new_substitution: &Substitution<I>, current_name: N, current_substitution: &Substitution<I>, ) -> bool
Auto Trait Implementations§
impl<I> Freeze for MayInvalidate<I>where
I: Freeze,
impl<I> RefUnwindSafe for MayInvalidate<I>where
I: RefUnwindSafe,
impl<I> Send for MayInvalidate<I>where
I: Send,
impl<I> Sync for MayInvalidate<I>where
I: Sync,
impl<I> Unpin for MayInvalidate<I>where
I: Unpin,
impl<I> UnwindSafe for MayInvalidate<I>where
I: UnwindSafe,
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