Module abi_stable::type_level::unerasability

Type-level enum representing whether a DynTrait/RObject/#[sabi_trait]-generated trait object can be converted back into the concrete type they were constructed with.

Structs

TU_Opaque	Indicates that a type does not implement Any.
TU_Unerasable	Indicates that a type implements Any.

Traits

GetUTID

Gets a function optionally returning the UTypeId of T. Whether the function returns MaybeCmp::Just(typeid) is determined by Self.