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.

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.

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.

Module chalk_solve::clauses[−][src]

Modules

Functions