Struct UnusedTypeFinding 

pub struct UnusedTypeFinding {
    pub export: UnusedExport,
    pub actions: Vec<IssueAction>,
    pub semantic: Option<SemanticCandidateDecision>,
    pub introduced: Option<AuditIntroduced>,
    pub reachability_caveats: Vec<ReachabilityCaveat>,
}

Wire-shape envelope for an UnusedExport finding consumed under the unused_types key. Wraps the same bare UnusedExport struct as UnusedExportFinding but emits a fix action targeted at type-only declarations, with the same is_re_export-aware note swap.

Fields

export: UnusedExport

The underlying dead-code entry.

actions: Vec<IssueAction>

Suggested next steps. Always emitted (possibly empty for forward-compat).

semantic: Option<SemanticCandidateDecision>

Type-aware evidence for this exact candidate when requested.

introduced: Option<AuditIntroduced>

Set by the audit pass when this finding is introduced relative to the merge-base.

reachability_caveats: Vec<ReachabilityCaveat>

Advisory caveats on the reachability verdict behind this finding. A type export rests on exactly the reachability test an unused_exports[] entry does, and the LSP offers the same remove-the-export-keyword quick fix for both, so the two must render with the same confidence. Sorted, deduplicated, omitted when empty.

Implementations

impl UnusedTypeFinding

pub fn with_actions(export: UnusedExport) -> Self

Build the wrapper. is_re_export swaps the fix note the same way as UnusedExportFinding::with_actions.

pub fn set_semantic_decision(&mut self, decision: SemanticCandidateDecision)

Attach type-aware evidence and disable the syntactic fix when semantic analysis could not establish complete negative evidence.

Trait Implementations

impl CaveatedFinding for UnusedTypeFinding

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.

impl Clone for UnusedTypeFinding

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 UnusedTypeFinding

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for UnusedTypeFinding

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl MutationEvidence for UnusedTypeFinding

fn reachability_caveats(&self) -> &[ReachabilityCaveat]

The advisory caveats recorded on the reachability verdict behind this finding. Empty when the run analyzed every file it discovered.

fn may_auto_apply_mutation(&self) -> bool

Whether this finding’s mutation may be applied without a human first being told the evidence is incomplete. THE gate: never re-derive it, never widen it per surface.

impl Serialize for UnusedTypeFinding

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

where __S: Serializer,

Serialize this value into the given Serde serializer.