proc_assertions 0.1.0

Compile-time assertions via procedural macros.
Documentation

proc-assertions

Verify at compile-time your code via procedural assumptions in Rust; developed by Efficient Computing Lab. Find previous commits for the crate v.1.1.0 here.

Installation

This crate is available on crates.io and can be used by adding the following to your project's Cargo.toml:

[dependencies]
proc_assertions = "1.1.0"

and this to your crate root (main.rs or lib.rs):

#[macro_use]
extern crate proc_static_assertions;

Usage

This crate exposes the following proc-macros:

  • #[calls]
  • #[nocalls]
  • #[mutates]
  • #[nomutates]
  • #[private_fields]
  • #[size_align]
  • #[consumes]

FAQ

  • Q: When would I want to use this?
  • Q: How can I contribute?
  • Q: Will this affect my compiled binary?
  • Q: Will this affect my compile times?

License

This project is licensed under the MIT License.