Function chalk_solve::clauses::push_alias_implemented_clause
source ยท fn push_alias_implemented_clause<I: Interner>(
builder: &mut ClauseBuilder<'_, I>,
trait_ref: TraitRef<I>,
alias: AliasTy<I>,
)