Wilco Kusee

Solving closure goal keeps expanding lifetimes

12

Found in [rust-analyzer#7796](https://github.com/rust-analyzer/rust-analyzer/issues/7796): When trying to solve this goal: ```rust Implemented({closure:ClosureId(3)}), ?1 := (&'static 2), ?2 := Ordering] ]> : FnMut>) ``` Chalk keeps expanding the query when trying to...

Create benchmarks

2

We should create some benchmarks, so we can track runtime and memory usage later.

Implement should_continue in chalk-recursive

1

This just returns `NoSolution` if it shouldn't continue, but that should already be useful to rust-analyzer. Note: Cloning of `should_continue` is a workaround to a rustc bug ([#95734](https://github.com/rust-lang/rust/issues/95734))

Recursive solver hangs on cyclic traits

3

Found in [rust-analyzer#12897](https://github.com/rust-lang/rust-analyzer/issues/12897), the following test causes the recursive solver to loop: ```rust #[test] fn cyclic_traits() { test! { program { trait Clone { } trait A { type X:...