@@ -31,7 +31,7 @@ impl<I: Interner> AggregateOps<I> for SlgContextOps<'_, I> {
31
31
should_continue : impl std:: ops:: Fn ( ) -> bool ,
32
32
) -> Option < Solution < I > > {
33
33
let interner = self . program . interner ( ) ;
34
- let CompleteAnswer { subst, ambiguous } = match answers. next_answer ( || should_continue ( ) ) {
34
+ let CompleteAnswer { subst, ambiguous } = match answers. next_answer ( & should_continue) {
35
35
AnswerResult :: NoMoreSolutions => {
36
36
// No answers at all
37
37
return None ;
@@ -47,7 +47,7 @@ impl<I: Interner> AggregateOps<I> for SlgContextOps<'_, I> {
47
47
} ;
48
48
49
49
// Exactly 1 unconditional answer?
50
- let next_answer = answers. peek_answer ( || should_continue ( ) ) ;
50
+ let next_answer = answers. peek_answer ( & should_continue) ;
51
51
if next_answer. is_quantum_exceeded ( ) {
52
52
if subst. value . subst . is_identity_subst ( interner) {
53
53
return Some ( Solution :: Ambig ( Guidance :: Unknown ) ) ;
@@ -95,7 +95,7 @@ impl<I: Interner> AggregateOps<I> for SlgContextOps<'_, I> {
95
95
}
96
96
}
97
97
98
- let new_subst = match answers. next_answer ( || should_continue ( ) ) {
98
+ let new_subst = match answers. next_answer ( & should_continue) {
99
99
AnswerResult :: Answer ( answer1) => answer1. subst ,
100
100
AnswerResult :: Floundered => {
101
101
// FIXME: this doesn't trigger for any current tests
0 commit comments