Matthias Krüger 87e1e05aa1 Rollup merge of #120734 - nnethercote:SubdiagnosticMessageOp, r=compiler-errors ... Add `SubdiagnosticMessageOp` as a trait alias. It avoids a lot of repetition. r? matthewjasper		2024-02-08 09:06:36 +01:00
..
solve	More comments, final tweaks	2024-02-06 02:22:58 +00:00
traits	Rollup merge of #120206 - petrochenkov:somehir, r=compiler-errors	2024-02-08 09:06:32 +01:00
errors.rs	Add SubdiagnosticMessageOp as a trait alias.	2024-02-08 13:02:44 +11:00
infer.rs	Make InferCtxtExt::could_impl_trait less messed up	2024-01-13 22:00:34 +00:00
lib.rs	Deeply normalize when processing registered region obligations	2024-01-30 00:06:53 +00:00
regions.rs	Normalize the whole PolyTypeOutlivesPredicate, more simplifications	2024-02-02 18:31:35 +00:00