Module json 

The bundled JSON contract front-end: loading, lookup, and conversion.

Three embedded JSON assets provide out-of-the-box contracts: std function requires contracts (std-api-requires.json), std type invariants (std-type-invariants.json), and std auto-trait ensures obligations (std-trait-ensures.json). Lookup uses exact, path-stripped, and wildcard fallback so trait-method impls and re-exported paths resolve correctly. Entries are then converted into Property values via entry_to_property.

Structs

JsonProperty 🔒

Structure of JSON entries.

TypeInvariantEntry 🔒

Serialisation-friendly struct for the type-invariants JSON.

Enums

AnyItem 🔒

One disjunct inside a JSON any entry.

Functions

any_entry_to_property 🔒

Parse an any disjunction entry from JSON into a Property::Or property.

entry_to_property 🔒

Convert a single JsonProperty from JSON into the properties it denotes.

get_std_contracts_from_json 🔒

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_type_invariants 🔒

Returns the std-type-invariants database, mapping a type path key (e.g. "core::num::nonzero::NonZero") to its invariant entries.

is_contract_token_char 🔒

load_std_contracts_json 🔒

Lazily loads the backup contract database for standard-library APIs.

load_trait_ensures_json 🔒

Lazily loads the std auto-trait ensures obligation database.

normalize_json_contract_arg 🔒

Convert explicit JSON contract tokens into the expression syntax accepted by the existing property parser.

query_json_contracts 🔒

Query contracts for a function from the bundled JSON backup database.

query_trait_ensures 🔒

Returns the ensures obligation template for a marker trait such as Send/Sync, keyed by the trait’s def path (e.g. "core::marker::Send").

resolve_entry_group 🔒

Resolve a single JSON any entry into its property group (empty on error).

resolve_json_args 🔒

Resolve JSON contract argument strings to parsed syn::Expr values.

resolve_json_param_name 🔒

Resolve a simple parameter-name reference in a JSON contract arg string to the arg:N positional form. Complex expressions (containing function calls, field access, etc.) are left unchanged — they are handled later by the expression parser which already knows how to resolve named parameters.

resolve_trait_method 🔒

If def_id is a trait-method implementation, returns the corresponding trait method’s [DefId]; otherwise returns def_id unchanged.

scan_while 🔒

std_contracts_has_entry 🔒

Whether the JSON contract database has an entry for def_id — including an empty one, which means “no safety contract is needed” (e.g. fmt::new, whose arguments are all references).