Struct UnusedTypeFinding 

pub struct UnusedTypeFinding {
    pub export: UnusedExport,
    pub actions: Vec<IssueAction>,
    pub semantic: Option<SemanticCandidateDecision>,
    pub introduced: Option<AuditIntroduced>,
    pub effective_severity: Option<EffectiveSeverity>,
    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.

effective_severity: Option<EffectiveSeverity>

Gate severity of this finding after rules and overrides[].rules resolve for its path. CI formats read it for the annotation, SARIF and CodeClimate level. Absent in output from older versions. Not part of the finding identity, baseline keys or fingerprints.

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 GatedFinding for UnusedTypeFinding

fn effective_severity(&self) -> Option<EffectiveSeverity>

The gate severity, or None when no value was written.

fn set_effective_severity(&mut self, severity: Option<EffectiveSeverity>)

Write the gate severity.

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.