Module implicit_infer

Functions

check_explicit_predicates 🔒

Check the explicit predicates declared on the type.

check_inferred_predicates 🔒

Check the inferred predicates declared on the type.

infer_predicates 🔒

Infer predicates for the items in the crate.

insert_required_predicates_to_be_wf 🔒