Chayim Refael Friedman 41611b19e5 Make sense of the mess that were (are) different kind of generics in the solver ... To the extent possible. Previously they were confused. Sometimes generic params were treated as `Param` and sometimes as `Placeholder`. A completely redundant (in the new solver) mapping of salsa::Id to ints to intern some info where we could just store it uninterned (not in Chalk though, for some weird reason). Plus fix a cute bug in closure substitution that was caught by the assertions of Chalk but the next solver did not have such assertions. Do we need more assertions?		2025-09-02 06:39:32 +03:00
..
src	Make sense of the mess that were (are) different kind of generics in the solver	2025-09-02 06:39:32 +03:00
Cargo.toml	Implement next trait solver	2025-08-09 16:08:58 +00:00