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
..
2023-03-07 14:25:22 +01:00
2023-04-06 09:34:16 +01:00
2023-04-06 09:34:16 +01:00
2023-03-21 15:38:52 +00:00
2023-04-06 09:34:16 +01:00
2023-04-06 09:34:16 +01:00
2023-03-14 20:52:42 +01:00
2023-03-13 18:22:55 +00:00
2023-04-06 09:34:16 +01:00
2023-03-28 22:22:37 -07:00