Module chalk_solve::clauses
source · [−]Modules
Functions
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.
Leak auto traits for opaque types, just like push_auto_trait_impls
does for structs.