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

use crate::clauses::ClauseBuilder;
use crate::{Interner, RustIrDatabase, TraitRef};
use chalk_ir::TyData;

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: &TyData<I>,
) {
    let _interner = db.interner();

    // Implement Clone for types that automaticly implement Copy
    add_copy_program_clauses(db, builder, trait_ref, ty);
}
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	}