Module proc_macro_assertions::prelude

Re-exports

• pub use super::add_generics::AttachGenerics;
• pub use super::add_generics::WithGenerics;
• pub use super::assert::Assert;
• pub use super::assert::InsertIntoTemplate;
• pub use super::assert_into;
• pub use super::assert_into;
• pub use super::assertable::Assertable;
• pub use super::bounds::AssertableWithBounds;
• pub use super::bounds::ProvideBounds;
• pub use super::bounds::ResolveBounds;
• pub use super::bounds::ResolvedBounds;
• pub use super::generatable::Generatable;
• pub use super::generatable::Trait;
• pub use super::generatable::Type;
• pub use super::raw_assert::trait::RawAssertable;
• pub use super::raw_assert::RawAssert;
• pub use super::store::DefaultStore;
• pub use super::store::Store;

Macros

• assert_into
  A macro that makes it easier to generate assertions into an assertion store