pub enum ConformanceLevel {
NotEvaluated,
ReleaseAdmittedCompileCoverage,
StructurallyValidatedOnly,
SemanticWitnessedOnly,
KnownDivergencePresent,
OracleUnavailable,
}Expand description
A bounded conformance level (T15.5). It reflects scope, not ambition — there is deliberately no
compatible / conformant: true. A standalone support-report establishes compile-coverage over an
admitted release; the behaviour / structural / diagnostic axes are separate surfaces (this points to
them, it does not roll their results into a single global verdict).
Variants§
NotEvaluated
ReleaseAdmittedCompileCoverage
What support-report alone establishes: the admitted release’s zones compile; no oracle ran here.
StructurallyValidatedOnly
SemanticWitnessedOnly
KnownDivergencePresent
Implementations§
Trait Implementations§
Source§impl Clone for ConformanceLevel
impl Clone for ConformanceLevel
Source§fn clone(&self) -> ConformanceLevel
fn clone(&self) -> ConformanceLevel
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for ConformanceLevel
Source§impl Debug for ConformanceLevel
impl Debug for ConformanceLevel
impl Eq for ConformanceLevel
Source§impl PartialEq for ConformanceLevel
impl PartialEq for ConformanceLevel
Source§fn eq(&self, other: &ConformanceLevel) -> bool
fn eq(&self, other: &ConformanceLevel) -> bool
Tests for
self and other values to be equal, and is used by ==.impl StructuralPartialEq for ConformanceLevel
Auto Trait Implementations§
impl Freeze for ConformanceLevel
impl RefUnwindSafe for ConformanceLevel
impl Send for ConformanceLevel
impl Sync for ConformanceLevel
impl Unpin for ConformanceLevel
impl UnsafeUnpin for ConformanceLevel
impl UnwindSafe for ConformanceLevel
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