Attribute Macro one_user::one_user [−][src]
#[one_user]
A macro that generates structs for limiting “users”
SOUNDNESS: The struct this is attached to MUST NOT have any impls with functions that return Self
, those functions MUST BE replaced with functions that return the Unbound struct generated by this macro.
This also includes traits like Default
, which become impossible to implement soundly, this means the struct this is applied on MUST NOT derive or impl Default or other traits that have functions that return Self.