Don't emit copy clauses for tys with impls in core

Author: nathanwhit

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

@@ -1,7 +1,7 @@
 use crate::clauses::builtin_traits::needs_impl_for_tys;
 use crate::clauses::ClauseBuilder;
 use crate::{Interner, RustIrDatabase, TraitRef};
-use chalk_ir::{ApplicationTy, Mutability, Substitution, TyData, TypeName};
+use chalk_ir::{ApplicationTy, Substitution, TyData, TypeName};
 
 fn push_tuple_copy_conditions<I: Interner>(
     db: &dyn RustIrDatabase<I>,
@@ -41,9 +41,6 @@ pub fn add_copy_program_clauses<I: Interner>(
             TypeName::Tuple(arity) => {
                 push_tuple_copy_conditions(db, builder, trait_ref, *arity, substitution)
             }
-            TypeName::Raw(_) | TypeName::Ref(Mutability::Not) => {
-                builder.push_fact(trait_ref.clone())
-            }
             _ => return,
         },
         TyData::Function(_) => builder.push_fact(trait_ref.clone()),

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

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

tests/test/refs.rs

@@ -57,67 +57,3 @@ fn mut_refs_are_sized() {
         }
     }
 }
-
-#[test]
-fn immut_refs_are_copy() {
-    test! {
-        program {
-            #[lang(copy)]
-            trait Copy { }
-        }
-
-        goal {
-            forall<'a, T> { &'a T: Copy }
-        } yields {
-            "Unique; substitution [], lifetime constraints []"
-        }
-    }
-}
-
-#[test]
-fn immut_refs_are_clone() {
-    test! {
-        program {
-            #[lang(clone)]
-            trait Clone { }
-        }
-
-        goal {
-            forall<'a, T> { &'a T: Clone }
-        } yields {
-            "Unique; substitution [], lifetime constraints []"
-        }
-    }
-}
-
-#[test]
-fn mut_refs_are_not_copy() {
-    test! {
-        program {
-            #[lang(copy)]
-            trait Copy { }
-        }
-
-        goal {
-            forall<'a, T> { not { &'a mut T: Copy } }
-        } yields {
-            "Unique; substitution [], lifetime constraints []"
-        }
-    }
-}
-
-#[test]
-fn mut_refs_are_not_clone() {
-    test! {
-        program {
-            #[lang(clone)]
-            trait Clone { }
-        }
-
-        goal {
-            forall<'a, T> { not { &'a mut T: Clone } }
-        } yields {
-            "Unique; substitution [], lifetime constraints []"
-        }
-    }
-}