pub trait CaveatedFinding: MutationEvidence {
// Required method
fn set_reachability_caveats(&mut self, caveats: Vec<ReachabilityCaveat>);
}Expand description
Record a run’s caveats on a finding, enforcing MutationEvidence on its
typed actions in the same step.
Separate from MutationEvidence so a read-only consumer (the fixer, the
LSP, a renderer) depends only on the question and never on the answer’s
setter. annotate in the analysis layer is the single writer.
Required Methods§
Sourcefn set_reachability_caveats(&mut self, caveats: Vec<ReachabilityCaveat>)
fn set_reachability_caveats(&mut self, caveats: Vec<ReachabilityCaveat>)
Store caveats and downgrade every mutating action the gate now
withholds. The field itself stays pub (a renderer test builds an
already-caveated fixture directly, without running the annotation
pass); every non-test writer goes through this setter instead of the
field so the downgrade travels with the write.
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".