Struct UnusedClassMemberFinding 

pub struct UnusedClassMemberFinding {
    pub member: UnusedMember,
    pub actions: Vec<IssueAction>,
    pub semantic: Option<SemanticCandidateDecision>,
    pub semantic_only_candidate: bool,
    pub introduced: Option<AuditIntroduced>,
    pub reachability_caveats: Vec<ReachabilityCaveat>,
}

Wire-shape envelope for an UnusedMember finding consumed under the unused_class_members key. Same Rust struct as UnusedEnumMemberFinding; the fix action and suppress comment carry the class-member kebab-case identifier instead.

Fields

member: UnusedMember

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.

semantic_only_candidate: bool

Internal marker for a framework member that the syntactic analysis suppresses, but the semantic pass may promote after proving complete closed-world absence. Never serialized as part of the public finding.

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 verdict behind this finding. A class member’s usage is collected by the same reachability-free member-access walk an enum member’s is, so it takes the enum-member rule unchanged: any module this run analyzed incompletely can hold the access that credits it. Sorted, deduplicated, and omitted from the wire when empty. Never gates the finding; it does withhold the remove-class-member mutation that the type-aware pass would otherwise open.

Implementations

impl UnusedClassMemberFinding

pub fn with_actions(member: UnusedMember) -> UnusedClassMemberFinding

Build the wrapper from a raw UnusedMember. Class-member fixes are not auto-applied (members can be used via dependency injection or decorators), so auto_fixable is false and a context note is attached.

pub const fn semantic_only_candidate(self) -> UnusedClassMemberFinding

Mark this finding as latent until semantic analysis proves that the framework contract does not apply and no static references exist.

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

Attach the canonical semantic decision and expose the class-member fix only when the API policy granted closed-world eligibility AND this run holds the evidence for the mutation.

This is the one code path that RAISES auto_fixable on a class member, and it runs in the API layer AFTER the analysis layer stamped the run’s caveats, so it asks the gate for the same reason set_export_semantic_action does: a closed-world verdict computed over a program the run never fully read must not re-open a removal the incomplete run already withheld. The withheld note names the evidence gap rather than the semantic explanation, which stays readable on the finding’s own semantic object.

Trait Implementations

impl CaveatedFinding for UnusedClassMemberFinding

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 UnusedClassMemberFinding

fn clone(&self) -> UnusedClassMemberFinding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for UnusedClassMemberFinding

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for UnusedClassMemberFinding

fn deserialize<__D>( __deserializer: __D, ) -> Result<UnusedClassMemberFinding, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for UnusedClassMemberFinding

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

impl MutationEvidence for UnusedClassMemberFinding

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 UnusedClassMemberFinding

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

where __S: Serializer,

Serialize this value into the given Serde serializer.