RustQ.Reach.Smells.DefrustMissingSpec (rustq v0.9.8)

Copy Markdown View Source

Detects defrust declarations without an immediately available @spec.

RustQ uses specs as the structural source of function signatures and callable metadata. A missing spec disables type-driven lowering and propagation.