hir_ty::traits

Function next_trait_solve

Source 
pub fn next_trait_solve(
    db: &dyn HirDatabase,
    krate: Crate,
    block: Option<BlockId>,
    goal: Canonical<InEnvironment<Goal<Interner>>>,
) -> NextTraitSolveResult
Expand description

Solve a trait goal using Chalk.