Module abi_stable::abi_stability::extra_checks::TypeChecker_trait

This module is generated by the #[sabi_trait] attribute on TypeChecker

Structs

• TypeChecker_Interface
  A marker type describing the traits that are required when constructing TypeChecker_TO,and are then implemented by it, by implementing the InterfaceType trait.
• 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.

Type Aliases

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