Module abi_stable::abi_stability::extra_checks::TypeChecker_trait [−][src]
Expand description
This module is generated by the #[sabi_trait] attribute on TypeChecker
Structs
A marker type describing the traits that are required when constructing TypeChecker_TO,and are then implemented by it,
by implementing the InterfaceType trait.
A helper struct for constructing the vtable for TypeChecker_CTO,with TypeChecker_MV::VTABLE
The trait object for TypeChecker.
Traits
This checks that the layout of types coming from dynamic libraries are compatible with those of the binary/dynlib that loads them.
A trait alias for TypeChecker + the lifetime bounds that it had before being stripped by the #[sabi_trait] attribute.
Type Definitions
An alias for the underlying implementation of TypeChecker_TO.
A type alias for the const-constructible TypeChecker_TO.