This release of abi_stable features nonexhaustive enums with fields,and a rewrite of the #[sabi_trait] attribute for ffi-safe trait objects.

Changelog:

• Implemented nonexhastive enum derivation and NonExhaustive wrapper type, with documentation on how to use them, and an extra set of example crates in "examples/2_nonexhaustive/*".

• Rewrote a lot of the code generated by #[sabi_trait]:

  • It now generates a struct Trait_TO instead of a type alias, wrapping the underlying implementation (DynTrait or RObject).

  • Transformed the constructors into associated functions of Trait_TO, adding the Trait_TO::from_sabi to wrap the underlying implementation.

  • Added impls delegating the supertraits to the underlying implementation.

  • Automatically add supertraits of supertraits.

  • Fixed support for Iterator/DoubleEndedIterator, parsing the supertrait bound to detect the Iterator Item type.

  • Replaced Trait_Marker with Trait_Interface<'a,'b,A,B,AssocTypeA,AssocTypeB >.

  • Added erasability:Erasability parameter to constructor functions, to pass TU_Unerasable and TU_Opaque by value(instead of as a type parameter).

• Added #[StableAbi] attributes:

  • #[sabi(phantom_field="name:type")]

  • #[sabi(phantom_type_param="type")]

  • #[sabi(not_stableabi())]:to accept type parameters that only implement GetStaticEquivalent_

  • #[sabi(unsafe_change_type="SomeType")]:to change the type of the field in the type layout constant.

• Added #[unsafe_no_layout_constant] attribute to #[export_root_module], to have a abi_stable dynamic library without storing the type layout of the root module.

• Changed (de)serialization of DynTrait/nonexhaustive enums to use proxy types, an intermediate type that the type is converted from/to in between (de)serializing.

• Removed where clause in DynTrait type definition. Removed 'borr and IteratorItem associated type from InterfaceBound. Changed IteratorItemOrDefault to get the Iterator Item type of a particular InterfaceType.

• Allow reborrowed DynTrait to be unerasable in more situations.

• Added std::error::Error support for DynTrait and #[sabi_trait] traits.

• Added ffi-safe equivalent of serde_json::value::RawValue, mostly for use as a (de)serialization proxy type.

• Added GetStaticEquivalent_ to get the 'static equivalent of a type for type checking.

• Fixed runtime type checking soundness bugs:

  • where using #[sabi(unconstrained())] would cause the type parameter to be ignored when computing the UTypeId for the type. Renamed the attribute to #[sabi(unsafe_unconstrained())].

  • where non-StableAbi fields were treated as opaque, even though the #[sabi(unsafe_opaque_field)] attribute wasn't applied to them.

  • where checking prefix types against the global view didn't return an error when nested fields had errors.

• Made LibHeader safely usable by reference,required making changes to make it thread safe (it didn't need to be before).

• Removed bounds from unconditional accessors in prefix_structs.

• Improved how type layout errors are Displayed,making them significantly more specific, where previously it printed the entire type layout(it could overflow the terminal buffer).

• Moved abi_stability::type_layout to root module,with abi_stability::tagging inside.

• Replaced the True/False in InterfaceType associated types with Implemented<Trait> and Unimplemented<Trait>,to improve compile-time error messages.

• Added #[sabi_extern_fn] attribute,to replace many uses of extern fn foo(){ extern_fn_panic_handling!{} }

• Removed suffix from RCmpOrdering variants.

• Moved InlineStorage from sabi_types::rsmallbox to its own top-level module.

• Added Spans (the region of code tokens come from) to most generated code, to improve error messages from within macro generated code.

This release features the #[sabi_trait] attribute,for generating ffi-safe trait objects.

Changelog

• Moved some top-level abi_stable modules (ignored_wrapper,late_static_ref,return_value_equality,version) to sabi_types.

• Added #[sabi_trait] example crate,which implement a basic plugin system.

• Moved example crates to their own numbered subfolders.

• Added unchecked versions of library loading methods in LibHeader.

• Made generated type layout constants significantly smaller(in the binary), by changing representation of fields and functions to structs of arrays(approximately).

• Implemented RObject,the default backend type of #[sabi_trait].

• Implemented #[sabi_trait] attribute for generating ffi-safe trait objects from a trait definition.

• Added MovePtr type and OwnedPointer trait,mostly for #[sabi_trait].

This version makes changes to facilitate reflection(with minimal module reflection support),and provides some ffi-safe wrappers for concurrency primitives.

Changelog

Added basic module reflection,changing a few details of how layout is represented.

Created the sabi_extract tool that converts the module structure of an abi_stable dynamic library to json.

Streamlined how modules are exported, removing the need to specify the LOADER_FN in the RootModule trait, as well as constructing the module using the RootModule::load_* functions.

Changed how the root module is accessed after it's loaded, using the <RootMod as RootModule>::get_module function.

Added fn root_module_statics to declare the statics associated with a RootModule, as well as the declare_root_module_statics macro to implement it.

Changed RootModule::raw_library_ref to RootModule::get_raw_library , returning the already loaded RawLibrary instead of allowing the user to initialize it themselves.

Changed how all libraries are loaded so that the abi_stable version they use can be checked,mentioning the abi_stable version in the returned error.

Renamed Library to RawLibrary.

Now the RawLibrary is unloaded after layout checking fails, leaking it if layout checking passes instead of doing so when it's loaded.

Added #[sabi(refl(pub_getter=" function_name "))] attribute for code generation (using the layout constant for a type), to determine how to access private fields(otherwise they're inaccesible).

Renamed export_sabi_module to export_root_module.

Added RMutex/RRwLock/ROnce,wrapping parking_lot types.

Added ffi-safe wrappers for crossbeam channels.

Added support for #[repr(IntegerType)],for enums.

Added checking of enum discriminants(supports all integer types up to u64/i64).

Renamed LazyStaticRef to LateStaticRef,made if ffi-safe.

This version makes improvements over 0.2 in the ffi-safe trait object ,as well as adding a HashMap type.

Detailed changes:

• Dropped support for 1.33 (no requiring 1.34) due to an ICE caused by associated types in associated constants.

• Renamed VirtualWrapper to DynTrait,moving I:InterfaceType to second type parameter.

• Added tags,a dynamically typed data structure used when checking the layout of types at runtime.

• DynTrait can now be constructed from non-'static types, using DynTrait::from_borrowìng_*.

• Added conditional accessors to prefix-types, allowing those fields to have any type if disabled (so long as they don't change in size/alignment)

• Added these conditional traits to DynTrait:

  • Send
  • Sync.
  • Iterator
  • DoubleEndedIterator
  • std::fmt::Write
  • std::io::{Write,Seek,Read,BufRead}

• Improved documentation of DynTrait,including multiple examples, and how to make a pointer compatible with it.

• Improved the std_types error types, to be almost the same as the ones in the standard library.

• Added reborrowing to DynTrait, going from DynTrait<'a,P<()>,I> to DynTrait<'a,&(),I>/DynTrait<'a,&mut (),I> .

• Added impl_InterfaceType macro to implement InterfaceType, emulating default associated types.

• Changed RCow to be closer to its standard library equivalent.

• Added methods/documentation to ROption/RResult.

• Added RHashMap,with an API very close to the standard HashMap.