Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir/src/term_search.rs')
| -rw-r--r-- | crates/hir/src/term_search.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crates/hir/src/term_search.rs b/crates/hir/src/term_search.rs index 7b70cdf459..aa046b02e2 100644 --- a/crates/hir/src/term_search.rs +++ b/crates/hir/src/term_search.rs @@ -325,6 +325,7 @@ pub fn term_search<DB: HirDatabase>(ctx: &TermSearchCtx<'_, DB>) -> Vec<Expr> { let mut solutions: Vec<Expr> = tactics::trivial(ctx, &defs, &mut lookup).collect(); // Use well known types tactic before iterations as it does not depend on other tactics solutions.extend(tactics::famous_types(ctx, &defs, &mut lookup)); + solutions.extend(tactics::assoc_const(ctx, &defs, &mut lookup)); while should_continue() { lookup.new_round(); |