pub trait Capability {
// Required method
fn impossible(&self) -> Vec<bool>;
}Expand description
Which entries of a field are impossible, for the check that two tables agree about capability.
Section 40.13: “The two tables must differ only in numbers, never in capability, and that is
checkable.” A capability is spelled Cycles::INFINITE in this design, so the check is that
the same entries are infinite in both tables, and that is what this reports. A field that
carries no capability, a count or a size, reports nothing rather than reporting false, so that
a count of 8 for speed and 4 for size is a difference in numbers and passes.
Required Methods§
Sourcefn impossible(&self) -> Vec<bool>
fn impossible(&self) -> Vec<bool>
One entry per costed lane, saying whether that lane is impossible.
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".