Function chalk_solve::clauses::push_alias_alias_eq_clause
source ยท fn push_alias_alias_eq_clause<I: Interner>(
builder: &mut ClauseBuilder<'_, I>,
projection_ty: ProjectionTy<I>,
alias: AliasTy<I>,
)