Enum Proof 

pub enum Proof {
    Request(String),
    LocalIntegration(String),
    ReachableTip(String),
}

What authorized a branch’s retirement.

Exactly three proofs are admissible, and none stands in for another. The first two are records, one per integration authority, and both rest on the same predicate: the tip the proof recorded equals the tip observed now. The third is no record at all: the trunk reaches the tip observed now, and the branch moved since its reflog’s creation entry, so the tip is work the trunk carries rather than the commit a fresh branch started at.

SATISFIES maintenance:gone-is-a-candidate-not-proof SATISFIES maintenance:one-merge-proof-authorizes-both-removals

Variants

Request(String)

A merged request whose recorded head equals this tip.

LocalIntegration(String)

A local integration whose recorded branch tip equals this tip.

ReachableTip(String)

A trunk that reaches this tip, carrying the commit the branch’s creation entry names, which differs from the tip.

Implementations

impl Proof

pub fn detail(&self) -> String

What the report prints beside the branch.

pub const fn kind(&self) -> &'static str

Which proof this is, for the machine report.

pub const fn is_local(&self) -> bool

Whether this proof rests on the clone alone, with no forge answer: the prune reports name these as proof rather than candidates.

Trait Implementations

impl Clone for Proof

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Proof

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

Formats the value using the given formatter.

impl Eq for Proof

impl PartialEq for Proof

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Proof