Fields
tcx: TyCtxt<'tcx>
param_env: ParamEnv<'tcx>
Implementations
sourceimpl<'tcx> ConstUnifyCtxt<'tcx>
impl<'tcx> ConstUnifyCtxt<'tcx>
fn try_replace_substs_in_root(
&self,
abstr_const: AbstractConst<'tcx>
) -> Option<AbstractConst<'tcx>>
sourcepub fn try_unify(&self, a: AbstractConst<'tcx>, b: AbstractConst<'tcx>) -> bool
pub fn try_unify(&self, a: AbstractConst<'tcx>, b: AbstractConst<'tcx>) -> bool
Tries to unify two abstract constants using structural equality.
Auto Trait Implementations
impl<'tcx> !RefUnwindSafe for ConstUnifyCtxt<'tcx>
impl<'tcx> !Send for ConstUnifyCtxt<'tcx>
impl<'tcx> !Sync for ConstUnifyCtxt<'tcx>
impl<'tcx> Unpin for ConstUnifyCtxt<'tcx>
impl<'tcx> !UnwindSafe for ConstUnifyCtxt<'tcx>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
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
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 16 bytes