Module abi_stable::abi_stability::extra_checks::TypeChecker_trait

Structs

TypeChecker_Interface	A marker type describing the traits that are required when constructing TypeChecker_TO,and are then implemented by it, by implementing InterfaceType.
TypeChecker_MV	A helper struct used to construct the vtable for TypeChecker_CTO,with TypeChecker_MV::VTABLE
TypeChecker_TO	The trait object for TypeChecker.

Traits

TypeChecker	This checks that the layout of types coming from dynamic libraries are compatible with those of the binary/dynlib that loads them.
TypeChecker_Bounds	A trait alias for TypeChecker + the lifetime bounds that it had before being stripped by the #[sabi_trait] attribute.

Type Definitions

TypeChecker_Backend	An alias for the underlying implementation of TypeChecker_TO.
TypeChecker_CTO	A type alias for the const-constructible TypeChecker_TO.