Function chalk_solve::clauses::push_alias_alias_eq_clause

fn push_alias_alias_eq_clause<I: Interner>(
    builder: &mut ClauseBuilder<'_, I>,
    projection_ty: ProjectionTy<I>,
    alias: AliasTy<I>
)