anodized-0.4.0
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

anodized 0.4.0

An ecosystem for correct Rust based on lightweight specification annotations

Crate
Source
Builds
Feature flags

..
captures_scope_isolation.rs
captures_scope_isolation.stderr
closure_validation.rs
closure_validation.stderr
internal_fn_in_impl_trait.rs
internal_fn_in_impl_trait.stderr
spec_inside_bare_trait.rs
spec_inside_bare_trait.stderr
spec_on_impl_trait_const.rs
spec_on_impl_trait_const.stderr
spec_on_impl_trait_fn.rs
spec_on_impl_trait_fn.stderr
spec_on_impl_trait_type.rs
spec_on_impl_trait_type.stderr
spec_on_negative_trait_impl.rs
spec_on_negative_trait_impl.stderr
spec_on_struct.rs
spec_on_struct.stderr
spec_on_trait_const.rs
spec_on_trait_const.stderr
spec_on_trait_type.rs
spec_on_trait_type.stderr

use anodized::spec;

#[spec(ensures: true)]
struct S;

fn main() {}