Add Copy and Sized clauses for raw ptr types

nathanwhit · nathanwhit · commit 5549cb26112e · 2020-05-07T15:39:28.000-04:00
diff --git a/chalk-solve/src/clauses/builtin_traits/copy.rs b/chalk-solve/src/clauses/builtin_traits/copy.rs
@@ -41,6 +41,7 @@ pub fn add_copy_program_clauses<I: Interner>(
             TypeName::Tuple(arity) => {
                 push_tuple_copy_conditions(db, builder, trait_ref, *arity, substitution)
             }
+            TypeName::Raw(_) => builder.push_fact(trait_ref.clone()),
             _ => return,
         },
         TyData::Function(_) => builder.push_fact(trait_ref.clone()),
diff --git a/chalk-solve/src/clauses/builtin_traits/sized.rs b/chalk-solve/src/clauses/builtin_traits/sized.rs
@@ -75,6 +75,7 @@ pub fn add_sized_program_clauses<I: Interner>(
             TypeName::Tuple(arity) => {
                 push_tuple_sized_conditions(db, builder, trait_ref, *arity, substitution)
             }
+            TypeName::Raw(_) => builder.push_fact(trait_ref.clone()),
             _ => return,
         },
         TyData::Function(_) => builder.push_fact(trait_ref.clone()),

Original file line number	Diff line number	Diff line change
`@@ -41,6 +41,7 @@ pub fn add_copy_program_clauses<I: Interner>(`
`41`	`41`	`TypeName::Tuple(arity) => {`
`42`	`42`	`push_tuple_copy_conditions(db, builder, trait_ref, *arity, substitution)`
`43`	`43`	`}`
	`44`	`+ TypeName::Raw(_) => builder.push_fact(trait_ref.clone()),`
`44`	`45`	`_ => return,`
`45`	`46`	`},`
`46`	`47`	`TyData::Function(_) => builder.push_fact(trait_ref.clone()),`
Original file line number	Diff line number	Diff line change
`@@ -75,6 +75,7 @@ pub fn add_sized_program_clauses<I: Interner>(`
`75`	`75`	`TypeName::Tuple(arity) => {`
`76`	`76`	`push_tuple_sized_conditions(db, builder, trait_ref, *arity, substitution)`
`77`	`77`	`}`
	`78`	`+ TypeName::Raw(_) => builder.push_fact(trait_ref.clone()),`
`78`	`79`	`_ => return,`
`79`	`80`	`},`
`80`	`81`	`TyData::Function(_) => builder.push_fact(trait_ref.clone()),`