Currently there's no semantic validation for specs, which allows for subtle errors. For example, conditions (and capture expressions) may have side effects.
Ideally, Anodized would integrate with Clippy to provide lints that detect such issues in specs.
The dylint crate seems targeted at these kind of use cases.
Currently there's no semantic validation for specs, which allows for subtle errors. For example, conditions (and capture expressions) may have side effects.
Ideally, Anodized would integrate with Clippy to provide lints that detect such issues in specs.
The
dylintcrate seems targeted at these kind of use cases.