mirror of
https://github.com/rust-lang/rust.git
synced 2024-12-13 09:05:00 +00:00
d048c1130f
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.) |
||
|---|---|---|
| .. | ||
| src | ||
| Cargo.toml | ||