pub struct Deviation {
pub case: &'static str,
pub rfc_requires: &'static str,
pub sipx_does: &'static str,
pub why_recorded: &'static str,
}Expand description
A place where sipx currently departs from what RFC 5118 requires.
The Case table above records what the RFC says, always — a classification that drifted
towards what sipx happens to do would stop being a measurement. This is the separate, explicit
record of the gap, so that neither fact has to be softened to accommodate the other.
Keeping the gap in a typed list rather than a comment is deliberate. The harness asserts that each deviation still behaves exactly as described, so the moment the underlying defect is fixed the assertion fails and whoever fixed it is told to delete the entry. A deviation recorded in prose would instead quietly become false.
Fields§
§case: &'static strThe case that deviates.
rfc_requires: &'static strWhat RFC 5118 requires, quoted or closely paraphrased.
sipx_does: &'static strWhat sipx does instead, in enough detail to assert on.
why_recorded: &'static strWhy this story records the gap rather than closing it.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for Deviation
impl RefUnwindSafe for Deviation
impl Send for Deviation
impl Sync for Deviation
impl Unpin for Deviation
impl UnsafeUnpin for Deviation
impl UnwindSafe for Deviation
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more