Avoid enumerating traits for auto traits rules

Author: detrumi

chalk-integration/src/db.rs

@@ -153,8 +153,4 @@ impl RustIrDatabase<ChalkIr> for ChalkDatabase {
     fn interner(&self) -> &ChalkIr {
         &ChalkIr
     }
-
-    fn auto_traits(&self) -> Vec<TraitId<ChalkIr>> {
-        self.program_ir().unwrap().auto_traits()
-    }
 }

chalk-integration/src/program.rs

@@ -363,12 +363,4 @@ impl RustIrDatabase<ChalkIr> for Program {
     fn interner(&self) -> &ChalkIr {
         &ChalkIr
     }
-
-    fn auto_traits(&self) -> Vec<TraitId<ChalkIr>> {
-        self.trait_data
-            .iter()
-            .filter(|(_, auto_trait)| auto_trait.is_auto_trait())
-            .map(|(trait_id, _)| *trait_id)
-            .collect()
-    }
 }

chalk-solve/src/clauses/program_clauses.rs

@@ -176,23 +176,6 @@ impl<I: Interner> ToProgramClauses<I> for OpaqueTyDatum<I> {
                     builder.push_fact(bound);
                 });
             }
-
-            for auto_trait_id in builder.db.auto_traits() {
-                // Implemented(!T<..>: AutoTrait) :- Implemented(HiddenTy: AutoTrait).
-                builder.push_clause(
-                    TraitRef {
-                        trait_id: auto_trait_id,
-                        substitution: substitution.clone(),
-                    },
-                    iter::once(TraitRef {
-                        trait_id: auto_trait_id,
-                        substitution: Substitution::from1(
-                            interner,
-                            opaque_ty_bound.hidden_ty.clone(),
-                        ),
-                    }),
-                );
-            }
         });
     }
 }

chalk-solve/src/lib.rs

@@ -88,9 +88,6 @@ pub trait RustIrDatabase<I: Interner>: Debug {
     fn well_known_trait_id(&self, well_known_trait: WellKnownTrait) -> Option<TraitId<I>>;
 
     fn interner(&self) -> &I;
-
-    /// Returns the ids of all auto traits.
-    fn auto_traits(&self) -> Vec<TraitId<I>>;
 }
 
 pub use solve::Guidance;