Expand description
Result of Analysis::merge
indicating which of the inputs
are different from the merged result.
The fields correspond to whether the initial a
and b
inputs to Analysis::merge
were different from the final merged value.
In both cases the result may be conservative – they may indicate true
even
when there is no difference between the input and the result.
DidMerge
s can be “or“ed together using the |
operator.
This can be useful for composing analyses.
Tuple Fields
0: bool
1: bool
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for DidMerge
impl Send for DidMerge
impl Sync for DidMerge
impl Unpin for DidMerge
impl UnwindSafe for DidMerge
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more