Merge pull request #583 from vandenheuvel/remove_impl_for

Remove `force_impl_for` from `RustIrDatabase`

Author: nathanwhit

chalk-solve/src/clauses/builtin_traits.rs

@@ -23,12 +23,6 @@ pub fn add_builtin_program_clauses<I: Interner>(
     builder.push_binders(&generalized, |builder, trait_ref| {
         let self_ty = trait_ref.self_type_parameter(db.interner());
         let ty = self_ty.data(db.interner());
-        if let Some(force_impl) = db.force_impl_for(well_known, ty) {
-            if force_impl {
-                builder.push_fact(trait_ref.clone());
-            }
-            return Ok(());
-        }
 
         match well_known {
             WellKnownTrait::Sized => sized::add_sized_program_clauses(db, builder, &trait_ref, ty),

chalk-solve/src/lib.rs

@@ -88,17 +88,6 @@ pub trait RustIrDatabase<I: Interner>: Debug {
     /// user gave).
     fn impl_provided_for(&self, auto_trait_id: TraitId<I>, adt_id: AdtId<I>) -> bool;
 
-    /// A stop-gap solution to force an impl for a given well-known trait.
-    /// Useful when the logic for a given trait is absent or incomplete.
-    /// A value of `Some(true)` means that the the clause for the impl will be
-    /// added. A value of `Some(false)` means that the clause for the impl will
-    /// not be added, and fallback logic will not be checked. A value of `None`
-    /// means that the clause will not be added, but fallback logic may add logic.
-    #[allow(unused_variables)]
-    fn force_impl_for(&self, well_known: WellKnownTrait, ty: &TyData<I>) -> Option<bool> {
-        None
-    }
-
     /// Returns id of a trait lang item, if found
     fn well_known_trait_id(&self, well_known_trait: WellKnownTrait) -> Option<TraitId<I>>;