Michael Goulet ec8e898193 Consider principal trait ref's auto-trait super-traits in dyn upcasting		2024-02-15 15:38:11 +00:00
..
assembly	Rollup merge of #121047 - compiler-errors:default-impls, r=lcnr	2024-02-13 22:51:57 +01:00
eval_ctxt	Dejargnonize subst	2024-02-12 15:46:35 +09:00
inspect	readd the provisional cache	2024-01-09 09:15:56 +01:00
normalizes_to	use alias-relate to structurally normalize in the solver	2024-02-13 05:08:51 +01:00
alias_relate.rs	use alias-relate to structurally normalize in the solver	2024-02-13 05:08:51 +01:00
fulfill.rs	rename instantiate_binder_with_placeholders	2024-02-08 13:01:08 +00:00
mod.rs	use alias-relate to structurally normalize in the solver	2024-02-13 05:08:51 +01:00
normalize.rs	Remove special-casing around aliaskind in new solver	2024-01-11 16:54:11 +00:00
project_goals.rs	track the source of nested goals	2023-12-18 08:47:29 +01:00
search_graph.rs	this is not a rust code snippet	2024-01-09 13:10:37 +01:00
trait_goals.rs	Consider principal trait ref's auto-trait super-traits in dyn upcasting	2024-02-15 15:38:11 +00:00