Matthias Krüger 5b602201ed Rollup merge of #132026 - lcnr:stabilize-coherence-again, r=compiler-errors ... analyse: remove unused uncanonicalized field This field is unused and was only relevant when actually printing proof trees. Right now this simply causes proof tree building to leak a bunch of inference vars 😁 r? ``@compiler-errors``		2024-10-23 06:51:24 +02:00
..
error_reporting	Rollup merge of #131549 - compiler-errors:try-in-sync, r=spastorino	2024-10-22 15:28:41 +02:00
errors	Reformat using the new identifier sorting from rustfmt	2024-09-22 19:11:29 -04:00
solve	remove unused field	2024-10-22 08:30:09 +02:00
traits	Auto merge of #131840 - compiler-errors:impossible-maybe, r=lcnr	2024-10-21 22:58:44 +00:00
errors.rs	Reformat using the new identifier sorting from rustfmt	2024-09-22 19:11:29 -04:00
infer.rs	move defining_opaque_types out of Canonical	2024-10-17 10:22:52 +02:00
lib.rs	Stabilize the map/value methods on ControlFlow	2024-09-25 19:00:17 -07:00
regions.rs	Reformat using the new identifier sorting from rustfmt	2024-09-22 19:11:29 -04:00
solve.rs	impossible obligations check fast path	2024-10-10 06:09:50 -04:00