Struct chalk_engine::slg::MayInvalidate
source · [−]struct MayInvalidate<I> {
interner: I,
}Fields
interner: IImplementations
sourceimpl<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 where
N: Copy + Eq + Debug,
Auto Trait Implementations
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
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> Cast for T
impl<T> Cast for T
sourcefn cast<U>(self, interner: <U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
fn cast<U>(self, interner: <U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
Cast a value to type U using CastTo.
sourceimpl<T> Instrument for T
impl<T> Instrument for T
sourcefn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
sourcefn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
sourceimpl<T> WithSubscriber for T
impl<T> WithSubscriber for T
sourcefn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
Attaches the provided Subscriber to this type, returning a
WithDispatch wrapper. Read more
sourcefn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
Attaches the current default Subscriber to this type, returning a
WithDispatch wrapper. Read more