Searched defs:program_clause (Results 1 – 1 of 1) sorted by relevance
1492 let program_clause: chalk_ir::ProgramClause<Interner> = pred.cast(Interner); in trait_environment_query() localVariable1516 let program_clause: chalk_ir::ProgramClause<Interner> = pred.cast(Interner); in trait_environment_query() localVariable1524 let program_clause: chalk_ir::ProgramClause<Interner> = pred.cast(Interner); in trait_environment_query() localVariable