Skip to main content

Module spec_alias

ryo_executor::executor::registry::converters

Module spec_alias 

Source
Expand description

SpecAliasConverter: Converts AddSpec / RemoveSpec / ValidateSpec

Composes existing primitives rather than introducing a dedicated ASTRegApply impl:

  • AddSpec → render pub type {alias} = Spec<G, T>; / SpecWith<G, R, T>; text and delegate to AddItemMutation
  • RemoveSpec → delegate to RemoveItemMutation with ItemKind::TypeAlias
  • ValidateSpec → read-only, emits no mutations

This wiring closes the gap surfaced by PoC-1 follow-up: Spec-aware Suggests (RS001-RS008) detect issues and produce these MutationSpecs, but convert_v2 previously bailed with “Unknown spec kind: RemoveSpec”.

Structs§

SpecAliasConverter