Function chalk_solve::clauses::program_clauses_for_goal

source ยท
pub fn program_clauses_for_goal<'db, I: Interner>(
    db: &'db dyn RustIrDatabase<I>,
    goal: &UCanonical<InEnvironment<DomainGoal<I>>>,
) -> Result<Vec<ProgramClause<I>>, Floundered>
Expand description

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.