Struct SpecGroupInconsistency 

pub struct SpecGroupInconsistency { /* private fields */ }

SpecGroupInconsistency rule

Detects modules where Spec TypeAliases use different Groups.

Rule Code

RS004 (Ryo Spec)

Detection

1. Group Spec TypeAliases by their parent module
2. Extract the Group name from each Spec definition
3. Report modules with multiple different Groups

Example Violation

// src/domain/task.rs
type TaskSpec = Spec<DomainGroup, Task>;      // Uses DomainGroup
type UserSpec = Spec<OtherGroup, User>;       // Uses OtherGroup - inconsistent!

Fix

This is a report-only rule. Manual review is required to decide which Group should be used consistently.

Implementations

impl SpecGroupInconsistency

pub fn new() -> Self

pub fn with_suffix(suffix: impl Into<String>) -> Self

Create with custom suffix pattern

Trait Implementations

impl Default for SpecGroupInconsistency

fn default() -> Self

Returns the “default value” for a type.

impl LintSuggest for SpecGroupInconsistency

fn code(&self) -> &'static str

Returns the rule code (e.g., “RL001”)

fn default_severity(&self) -> LintSeverity

Returns the default severity for this lint rule

fn create_lint_opportunity( &self, id: OpportunityId, targets: Vec<SymbolId>, location: SuggestLocation, message: impl Into<String>, details: LintDetails, ) -> SuggestOpportunity

Helper to create a lint opportunity

impl SpecSuggest for SpecGroupInconsistency

fn spec_suffix(&self) -> &str

Get the suffix pattern for identifying Spec TypeAliases (default: “Spec”)

fn is_spec_alias(&self, name: &str) -> bool

Check if a TypeAlias name looks like a Spec

fn extract_base_type<'a>(&self, alias_name: &'a str) -> Option<&'a str>

Extract the base type name from a Spec alias name e.g., “TaskSpec” -> “Task”

fn get_module_path(&self, path: &SymbolPath) -> Option<SymbolPath>

Get the module path for a symbol (parent of the symbol)

impl Suggest for SpecGroupInconsistency

fn name(&self) -> &'static str

Name of this suggestion pattern (e.g., “Builder”, “Default”)

fn description(&self) -> &str

Human-readable description

fn category(&self) -> SuggestCategory

Category for filtering/grouping

fn safety_level(&self) -> SafetyLevel

Safety level for auto-application decisions

fn priority_weight(&self) -> f32

Priority weight for ranking (higher = more important)

fn detect( &self, ctx: &AnalysisContext, symbols: &[SymbolId], ) -> Vec<SuggestOpportunity>

Detect opportunities for the given symbols

fn to_mutation_specs( &self, _ctx: &AnalysisContext, _opportunity: &SuggestOpportunity, ) -> SuggestResult<Vec<MutationSpec>>

Convert a detected opportunity to executable MutationSpecs

fn rule_id(&self) -> Option<&str>

Optional rule ID for pattern-based rules (e.g., “RL021”). Returns None for non-pattern suggestions.

fn target_scopes(&self) -> Vec<SymbolScope>

Target scopes where this suggest applies.

fn accepts_params(&self) -> bool

Whether this suggestion accepts external parameters.

fn param_schema(&self) -> Vec<ParamDef>

Schema of accepted parameters (for LLM consumption).

fn detect_with_params( &self, ctx: &AnalysisContext, symbols: &[SymbolId], _params: &SuggestParams, ) -> Vec<SuggestOpportunity>

Detect opportunities with external parameters.