Module chalk_solve::clauses

Modules

builder
program_clauses

Functions

program_clauses_for_env
program_clauses_for_goal	Given some goal goal that must be proven, along with its environment, figures out the program clauses that apply to this goal from the Rust program. So for example if the goal is Implemented(T: Clone), then this function might return clauses derived from the trait Clone and its impls.
program_clauses_that_could_match	Returns a set of program clauses that could possibly match goal. This can be any superset of the correct set, but the more precise you can make it, the more efficient solving will be.
push_auto_trait_impls	FIXME(#505) update comments for ADTs For auto-traits, we generate a default rule for every struct, unless there is a manual impl for that struct given explicitly.
push_auto_trait_impls_generator_witness
push_auto_trait_impls_opaque	Leak auto traits for opaque types, just like push_auto_trait_impls does for structs.