[rustc.git] / vendor / chalk-solve / src / clauses / builtin_traits / clone.rs

use crate::clauses::ClauseBuilder;
use crate::{Interner, RustIrDatabase, TraitRef};
use chalk_ir::{CanonicalVarKinds, 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>,
) {
    // Implement Clone for types that automaticly implement Copy
    add_copy_program_clauses(db, builder, trait_ref, ty, binders);
}
Commit	Line	Data
f9f354fc XL	1	use crate::clauses::ClauseBuilder;
f9f354fc XL	2	use crate::{Interner, RustIrDatabase, TraitRef};
29967ef6	3	use chalk_ir::{CanonicalVarKinds, TyKind};
f9f354fc XL	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>,
29967ef6	11	ty: &TyKind<I>,
3dfed10e	12	binders: &CanonicalVarKinds<I>,
f9f354fc	13	) {
f9f354fc	14	// Implement Clone for types that automaticly implement Copy
3dfed10e	15	add_copy_program_clauses(db, builder, trait_ref, ty, binders);
f9f354fc	16	}