Expand description
This module is generated by the #[sabi_trait] attribute on ExtraChecks
Structs§
- Extra
Checks_ Interface - A marker type describing the traits that are required when constructing
ExtraChecks_TO,and are then implemented by it, by implementing theInterfaceTypetrait. - Extra
Checks_ TO - The trait object for ExtraChecks.
Traits§
- Extra
Checks - Allows defining extra checks for a type.
Type Aliases§
- Extra
Checks_ Backend - An alias for the underlying implementation of
ExtraChecks_TO. - Extra
Checks_ CTO - A type alias for the const-constructible
ExtraChecks_TO.