pub struct Meet;
Implementations§
Source§impl Meet
impl Meet
pub fn widen<'tcx, T: IntervalArithmetic + Debug>( op: &mut BasicOpKind<'tcx, T>, constant_vector: &[T], vars: &mut VarNodes<'tcx, T>, ) -> bool
pub fn narrow<'tcx, T: IntervalArithmetic + Clone + PartialOrd + Debug>( op: &mut BasicOpKind<'tcx, T>, vars: &mut VarNodes<'tcx, T>, ) -> bool
Auto Trait Implementations§
impl Freeze for Meet
impl RefUnwindSafe for Meet
impl Send for Meet
impl Sync for Meet
impl Unpin for Meet
impl UnwindSafe for Meet
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