diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-08-29 20:49:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-29 20:49:05 +0200 |
| commit | a51e8308c8293e43f3c63007b7f2f9b4bab8ae72 (patch) | |
| tree | ab046ee2e3b0b7525f0c69b9cc426298ca362dae /compiler/rustc_const_eval/src/errors.rs | |
| parent | 61c367cd1fb0ed0aca1e715cd87f9bf13fa594f0 (diff) | |
| parent | 5ab9616d03c27f755386a087bfc6f5971edb9137 (diff) | |
| download | rust-a51e8308c8293e43f3c63007b7f2f9b4bab8ae72.tar.gz rust-a51e8308c8293e43f3c63007b7f2f9b4bab8ae72.zip | |
Rollup merge of #115300 - spastorino:smir-tweaks, r=oli-obk
Tweaks and improvements on SMIR around generics_of and predicates_of
r? `@oli-obk`
This allows an API like the following ...
```rust
let trait_decls = stable_mir::all_trait_decls().iter().map(|trait_def| {
let trait_decl = stable_mir::trait_decl(trait_def);
let generics = trait_decl.generics_of();
let predicates = trait_decl.predicates_of().predicates;
```
I didn't like that much `trait_def.trait_decl()` which is it possible but adding a method to a def_id that loads up a whole trait definition looks backwards to me.
Diffstat (limited to 'compiler/rustc_const_eval/src/errors.rs')
0 files changed, 0 insertions, 0 deletions
