Use full path for Fn in aggregate and solve since Fn is also a chalk_ir type

Author: jackh726

chalk-solve/src/solve.rs

@@ -162,7 +162,7 @@ impl<TF: TypeFamily> Solver<TF> {
         &mut self,
         program: &dyn RustIrDatabase<TF>,
         goal: &UCanonical<InEnvironment<Goal<TF>>>,
-        should_continue: impl Fn() -> bool,
+        should_continue: impl std::ops::Fn() -> bool,
     ) -> Option<Solution<TF>> {
         let ops = self.forest.context().ops(program);
         self.forest.solve(&ops, goal, should_continue)

chalk-solve/src/solve/slg/aggregate.rs

@@ -19,7 +19,7 @@ impl<TF: TypeFamily> context::AggregateOps<SlgContext<TF>> for SlgContextOps<'_,
         &self,
         root_goal: &UCanonical<InEnvironment<Goal<TF>>>,
         mut answers: impl context::AnswerStream<SlgContext<TF>>,
-        should_continue: impl Fn() -> bool,
+        should_continue: impl std::ops::Fn() -> bool,
     ) -> Option<Solution<TF>> {
         let CompleteAnswer { subst, ambiguous } = match answers.next_answer(|| should_continue()) {
             AnswerResult::NoMoreSolutions => {