Boxy 513bfaa8bc Use structurally_normalize instead of manual normalizes-to goals		2025-01-22 07:04:53 +00:00
..
assembly	Implement const Destruct in old solver	2025-01-08 18:14:58 +00:00
eval_ctxt	Also in the new solver	2025-01-03 05:22:14 +00:00
inspect	remove unused field	2024-10-22 08:30:09 +02:00
normalizes_to	Also in the new solver	2025-01-03 05:22:14 +00:00
alias_relate.rs	Rename tcx to cx	2024-06-25 17:36:52 -04:00
effect_goals.rs	Recurse on GAT where clauses in fulfillment error proof tree visitor	2025-01-06 17:58:42 +00:00
mod.rs	Use structurally_normalize instead of manual normalizes-to goals	2025-01-22 07:04:53 +00:00
project_goals.rs	Rename tcx to cx	2024-06-25 17:36:52 -04:00
search_graph.rs	move defining_opaque_types out of Canonical	2024-10-17 10:22:52 +02:00
trait_goals.rs	new solver: prefer trivial builtin impls over where-clauses	2025-01-17 18:50:29 +00:00