bors f8ed97ecc1 Auto merge of #110031 - compiler-errors:generic-elaboration, r=b-naber ... Make elaboration generic over input Combines all the `elaborate_*` family of functions into just one, which is an iterator over the same type that you pass in (e.g. elaborating `Predicate` gives `Predicate`s, elaborating `Obligation`s gives `Obligation`s, etc.)		2023-04-09 00:18:10 +00:00
..
errors	Remove index from BrAnon	2023-04-06 23:01:40 -04:00
infer	Remove u32 on BoundTyKind::Anon	2023-04-06 23:08:04 -04:00
traits	Get rid of elaborate_trait_ref{s} too	2023-04-06 23:30:22 +00:00
lib.rs	Simplify message paths	2023-03-11 22:51:57 +01:00