pub enum TierVerdict {
Agree {
output: String,
error: Option<String>,
},
Divergence {
compiler_bug: bool,
bundle: String,
},
}Expand description
The verdict of a cross-tier differential run (Wave 13, footgun F18). Program output must be byte-identical across every execution tier; a divergence is ALWAYS a compiler bug — the framework’s liability, never the user’s mistake — and carries a filed-ready reproduction bundle.
Variants§
Agree
Every tier agreed. The single shared outcome (the tree-walker oracle’s).
Divergence
Two tiers disagreed. compiler_bug is invariably true — that a tier
divergence is the compiler’s fault (never the user’s) is the whole point
of the classification. bundle is a ready-to-file reproduction.
Trait Implementations§
Source§impl Clone for TierVerdict
impl Clone for TierVerdict
Source§fn clone(&self) -> TierVerdict
fn clone(&self) -> TierVerdict
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for TierVerdict
impl Debug for TierVerdict
Source§impl PartialEq for TierVerdict
impl PartialEq for TierVerdict
impl Eq for TierVerdict
impl StructuralPartialEq for TierVerdict
Auto Trait Implementations§
impl Freeze for TierVerdict
impl RefUnwindSafe for TierVerdict
impl Send for TierVerdict
impl Sync for TierVerdict
impl Unpin for TierVerdict
impl UnsafeUnpin for TierVerdict
impl UnwindSafe for TierVerdict
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,
§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Convert
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.§impl<T> DowncastSync for T
impl<T> DowncastSync for T
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.