Skip to main content Module assets Copy item path Source PropertyEntry Structure of JSON entries. TypeInvariantEntry Serialisation-friendly struct for the type-invariants JSON. AnyItem One disjunct inside a JSON any entry. get_std_contracts_from_assets Looks up backup contracts for a standard-library function by its normalized path.
For trait-method impls, resolves to the trait method’s path first so that
all impls share the same contracts. get_std_contracts_from_json 🔒 Lazily loads the backup contract database for standard-library APIs. get_std_type_invariants Returns the std-type-invariants database, mapping a type path key
(e.g. "alloc::boxed::Box<T>") to its invariant entries. resolve_trait_method 🔒 If def_id is a trait-method implementation, returns the corresponding
trait method’s [DefId]; otherwise returns def_id unchanged.