language-servers/rust-analyzer
1
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer.git synced 2025-09-29 13:25:09 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

Use fuel branch for Chalk

Browse source 
This makes sure we don't take too long in trait solving.
This commit is contained in:
Florian Diebold 2019-05-20 18:31:12 +02:00
parent ed943adb29
commit f613c48d2e
3 changed files with 27 additions and 27 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/ra_hir/src/ty/traits.rs
View file

@ -61,7 +61,7 @@ fn solve(
let context = ChalkContext { db, krate };
let solver = db.solver(krate);
debug!("solve goal: {:?}", goal);
let solution = solver.lock().unwrap().solve(&context, goal);
let solution = solver.lock().unwrap().solve_with_fuel(&context, goal, Some(1000));
debug!("solve({:?}) => {:?}", goal, solution);
solution
}