lcnr 11716830ac instantiate response: no unnecessary new universe ... this previously was a off-by-one error.		2023-08-18 23:55:28 +02:00
..
assembly	Rollup merge of #114829 - compiler-errors:next-solver-only-unsize-to-dyn-once, r=lcnr	2023-08-15 14:29:49 +02:00
eval_ctxt	instantiate response: no unnecessary new universe	2023-08-18 23:55:28 +02:00
search_graph	lower evaluate_goal stability check to warn	2023-08-12 20:37:53 +02:00
alias_relate.rs	avoid more ty::Binder:dummy	2023-08-03 14:16:26 +02:00
canonicalize.rs	resolve before canonicalization, ICE if unresolved	2023-08-03 20:05:40 +00:00
eval_ctxt.rs	lower evaluate_goal stability check to warn	2023-08-12 20:37:53 +02:00
fulfill.rs	avoid building proof trees in select	2023-07-10 15:17:01 +02:00
inherent_projection.rs	Comment stuff in the new solver	2023-07-23 12:30:52 -07:00
inspect.rs	avoid building proof trees in select	2023-07-10 15:17:01 +02:00
mod.rs	normalize in trait_ref_is_knowable in new solver	2023-08-12 20:37:53 +02:00
normalize.rs	avoid more ty::Binder:dummy	2023-08-03 14:16:26 +02:00
opaques.rs	Comment stuff in the new solver	2023-07-23 12:30:52 -07:00
project_goals.rs	Rollup merge of #114831 - compiler-errors:next-solver-projection-subst-compat, r=lcnr	2023-08-15 14:29:50 +02:00
trait_goals.rs	Rollup merge of #114829 - compiler-errors:next-solver-only-unsize-to-dyn-once, r=lcnr	2023-08-15 14:29:49 +02:00
weak_types.rs	lcnr's suggestions	2023-07-24 08:37:40 -07:00