[−][src]Function chalk_solve::clauses::program_clauses_for_goal
pub fn program_clauses_for_goal<'db, I: Interner>(
db: &'db dyn RustIrDatabase<I>,
environment: &Environment<I>,
goal: &DomainGoal<I>,
binders: &CanonicalVarKinds<I>
) -> Result<Vec<ProgramClause<I>>, Floundered>
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.