make quantified private

nikomatsakis · nikomatsakis · commit 7a6491b4d695 · 2020-04-01T05:53:43.000-04:00
diff --git a/chalk-solve/src/goal_builder.rs b/chalk-solve/src/goal_builder.rs
@@ -115,7 +115,7 @@ impl<'i, I: Interner> GoalBuilder<'i, I> {
     /// * [`GoalBuilder::exists`]
     ///
     /// for details.
-    pub(crate) fn quantified<G, B, P>(
+    fn quantified<G, B, P>(
         &mut self,
         quantifier_kind: QuantifierKind,
         binders: &Binders<B>,
