pub enum TypeChangeState {
New,
Unchanged,
Compatible,
Incompatible,
Undecidable,
}Expand description
How the candidate stands against the registered definition.
Variants§
New
Nothing is registered under this identifier yet.
Unchanged
Byte-identical to what is registered.
Compatible
Valid(old) ⊆ Valid(new) proved from the schemas.
Incompatible
Proved not to hold.
Undecidable
Could be neither proved nor disproved (gts reports Unknown).
ADR-0003 fails closed on this, so it is a refusal — but a distinct one,
because the fix is a different one.
Implementations§
Trait Implementations§
Source§impl Clone for TypeChangeState
impl Clone for TypeChangeState
impl Copy for TypeChangeState
Source§impl Debug for TypeChangeState
impl Debug for TypeChangeState
Source§impl Display for TypeChangeState
impl Display for TypeChangeState
impl Eq for TypeChangeState
Source§impl FromStr for TypeChangeState
impl FromStr for TypeChangeState
Source§impl PartialEq for TypeChangeState
impl PartialEq for TypeChangeState
impl StructuralPartialEq for TypeChangeState
Auto Trait Implementations§
impl Freeze for TypeChangeState
impl RefUnwindSafe for TypeChangeState
impl Send for TypeChangeState
impl Sync for TypeChangeState
impl Unpin for TypeChangeState
impl UnsafeUnpin for TypeChangeState
impl UnwindSafe for TypeChangeState
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.