]>
Commit | Line | Data |
---|---|---|
f9f354fc XL |
1 | use crate::clauses::ClauseBuilder; |
2 | use crate::{Interner, RustIrDatabase, TraitRef}; | |
3 | use chalk_ir::TyData; | |
4 | ||
5 | use super::copy::add_copy_program_clauses; | |
6 | ||
7 | pub fn add_clone_program_clauses<I: Interner>( | |
8 | db: &dyn RustIrDatabase<I>, | |
9 | builder: &mut ClauseBuilder<'_, I>, | |
10 | trait_ref: &TraitRef<I>, | |
11 | ty: &TyData<I>, | |
12 | ) { | |
13 | let _interner = db.interner(); | |
14 | ||
15 | // Implement Clone for types that automaticly implement Copy | |
16 | add_copy_program_clauses(db, builder, trait_ref, ty); | |
17 | } |