bors 397937d812 Auto merge of #119989 - lcnr:sub_relations-bye-bye, r=compiler-errors ... remove `sub_relations` from the `InferCtxt` While doing so, I tried to remove the `delay_span_bug` in `rematch_impl` again, which lead me to discover another `freshen` bug, fixing that one in the second commit. See commit descriptions for the reasoning behind each change. r? `@compiler-errors`		2024-02-22 20:45:24 +00:00
..
assembly	Rollup merge of #120598 - compiler-errors:no-rigid-check, r=lcnr	2024-02-22 18:09:52 +01:00
eval_ctxt	Move trait into attr so it's greppable	2024-02-16 15:07:37 +00:00
inspect	Rollup merge of #121193 - compiler-errors:coherence-fulfillment, r=lcnr	2024-02-17 18:47:42 +01:00
normalizes_to	some type system cleanup	2024-02-20 20:42:10 +01:00
alias_relate.rs	use alias-relate to structurally normalize in the solver	2024-02-13 05:08:51 +01:00
fulfill.rs	Simply do not ICE	2024-02-20 02:16:36 +00:00
mod.rs	Move trait into attr so it's greppable	2024-02-16 15:07:37 +00:00
normalize.rs	overflow errors: change source to a concrete enum	2024-02-22 17:43:57 +01: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