Matthias Krüger 68279097d4 Rollup merge of #133517 - compiler-errors:deep-norm, r=lcnr ... Deeply normalize when computing implied outlives bounds r? lcnr Unfortunately resolving regions is still slightly scuffed (though in an unrelated way). Specifically, we should be normalizing our param-env outlives when constructing the `OutlivesEnv`; otherwise, these assumptions (dd2837ec5d/compiler/rustc_infer/src/infer/outlives/env.rs (L78)) are not constructed correctly. Let me know if you want us to track that somewhere.		2024-12-03 07:48:33 +01:00
..
error_reporting	Rollup merge of #133746 - oli-obk:push-xwyrylxmrtvq, r=jieyouxu	2024-12-02 23:08:58 +01:00
errors	ty::BrK -> ty::BoundRegionKind::K	2024-11-04 04:45:52 +00:00
solve	Assert that obligations are empty before deeply normalizing	2024-12-02 22:51:18 +00:00
traits	Rollup merge of #133517 - compiler-errors:deep-norm, r=lcnr	2024-12-03 07:48:33 +01:00
errors.rs	Make precise capturing suggestion machine-applicable only if it has not APITs	2024-11-12 04:08:34 +00:00
infer.rs	remove Ty::is_copy_modulo_regions	2024-12-02 13:57:56 +01: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