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 theInterfaceType
trait. - 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
.