Expand description
An attribute macro to stipulate bounds.
The attribute applies bounds to structs, enums, unions, traits, fns, associated types, and impl blocks.
use attr_bounds::bounds;
#[bounds(T: Copy)]
pub struct Wrapper<T>(T);
let var = Wrapper(42);ⓘ
use attr_bounds::bounds;
#[bounds(T: Copy)]
pub struct Wrapper<T>(T);
let var = Wrapper(Vec::<i32>::new());
// ^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `Vec<i32>`§Usage notes
Basically, the attribute is designed to be used for conditional compilation and otherwise you will not need the attribute.
use attr_bounds::bounds;
#[cfg(feature = "unstable_feature_a")]
pub trait UnstableA {}
#[cfg(feature = "unstable_feature_b")]
pub trait UnstableB {}
#[cfg_attr(feature = "unstable_feature_a", bounds(Self: UnstableA))]
#[cfg_attr(feature = "unstable_feature_b", bounds(Self: UnstableB))]
pub trait Trait {}
#[cfg(feature = "unstable_feature_a")]
impl UnstableA for () {}
#[cfg(feature = "unstable_feature_b")]
impl UnstableB for () {}
impl Trait for () {}Attribute Macros§
- bounds
- Applies bounds to an item.