Add Copy/Sized clauses for arrays

Author: nathanwhit

chalk-solve/src/clauses/builtin_traits/copy.rs

@@ -2,6 +2,7 @@ use crate::clauses::builtin_traits::needs_impl_for_tys;
 use crate::clauses::ClauseBuilder;
 use crate::{Interner, RustIrDatabase, TraitRef};
 use chalk_ir::{ApplicationTy, Substitution, TyData, TypeName};
+use std::iter;
 
 fn push_tuple_copy_conditions<I: Interner>(
     db: &dyn RustIrDatabase<I>,
@@ -41,6 +42,15 @@ pub fn add_copy_program_clauses<I: Interner>(
             TypeName::Tuple(arity) => {
                 push_tuple_copy_conditions(db, builder, trait_ref, *arity, substitution)
             }
+            TypeName::Array => {
+                let interner = db.interner();
+                needs_impl_for_tys(
+                    db,
+                    builder,
+                    trait_ref,
+                    iter::once(substitution.at(interner, 0).assert_ty_ref(interner).clone()),
+                );
+            }
             _ => return,
         },
         TyData::Function(_) => builder.push_fact(trait_ref.clone()),

chalk-solve/src/clauses/builtin_traits/sized.rs

@@ -74,9 +74,11 @@ pub fn add_sized_program_clauses<I: Interner>(
             TypeName::Tuple(arity) => {
                 push_tuple_sized_conditions(db, builder, trait_ref, *arity, substitution)
             }
-            TypeName::Never | TypeName::Scalar(_) | TypeName::Raw(_) | TypeName::Ref(_) => {
-                builder.push_fact(trait_ref.clone())
-            }
+            TypeName::Array
+            | TypeName::Never
+            | TypeName::Scalar(_)
+            | TypeName::Raw(_)
+            | TypeName::Ref(_) => builder.push_fact(trait_ref.clone()),
             _ => return,
         },
         TyData::Function(_) => builder.push_fact(trait_ref.clone()),