1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
use crate::clauses::ClauseBuilder;
use crate::{Interner, RustIrDatabase, TraitRef};
use chalk_ir::{CanonicalVarKinds, Floundered, TyKind};
use super::copy::add_copy_program_clauses;
pub fn add_clone_program_clauses<I: Interner>(
db: &dyn RustIrDatabase<I>,
builder: &mut ClauseBuilder<'_, I>,
trait_ref: TraitRef<I>,
ty: TyKind<I>,
binders: &CanonicalVarKinds<I>,
) -> Result<(), Floundered> {
// Implement Clone for types that automaticly implement Copy
add_copy_program_clauses(db, builder, trait_ref, ty, binders)
}
|