Struct ImpliedPlan 

pub struct ImpliedPlan {
    pub hits: Vec<String>,
    pub decisions: Vec<StdlibDecision>,
}

What observing one obligation also proves: the branch body it starts, the method it opens, the single-condition decision outcome it witnesses. Keyed by the statement (or decision outcome) whose hit implies the rest, so the runtime pays one hash lookup per first sighting and nothing per execution.

Fields

hits: Vec<String>

decisions: Vec<StdlibDecision>

Trait Implementations

impl Clone for ImpliedPlan

fn clone(&self) -> ImpliedPlan

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ImpliedPlan

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ImpliedPlan

fn default() -> ImpliedPlan

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ImpliedPlan

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ImpliedPlan

impl PartialEq for ImpliedPlan

fn eq(&self, other: &ImpliedPlan) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for ImpliedPlan

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ImpliedPlan