diff options
| author | bors <bors@rust-lang.org> | 2024-05-21 02:51:38 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-05-21 02:51:38 +0000 |
| commit | 9cb6bb859912fc5458d8977a937adede5050bc22 (patch) | |
| tree | 73399bdc41aa67e4535ba5070839d8af71050d59 /compiler/rustc_const_eval/src/const_eval/machine.rs | |
| parent | 8e7517d99a8aaab02b512483ae91f8b79553fa3d (diff) | |
| parent | 9fa07a4e553222eb511da7631a5a7f2acb007c43 (diff) | |
| download | rust-9cb6bb859912fc5458d8977a937adede5050bc22.tar.gz rust-9cb6bb859912fc5458d8977a937adede5050bc22.zip | |
Auto merge of #125284 - compiler-errors:uplift-misc, r=lcnr
Uplift `RegionVid`, `TermKind` to `rustc_type_ir`, and `EagerResolver` to `rustc_next_trait_solver`
- Uplift `RegionVid`. This was complicated due to the fact that we implement `polonius_engine::Atom` for `RegionVid` -- but I just separated that into `PoloniusRegionVid`, and added `From`/`Into` impls so it can be defined in `rustc_borrowck` separately. Coherence 😵
- Change `InferCtxtLike` to expose `opportunistically_resolve_{ty,ct,lt,int,float}_var` so that we can uplift `EagerResolver` for use in the canonicalization methods.
- Uplift `TermKind` much like `GenericArgKind`
All of this is miscellaneous dependencies for making more `EvalCtxt` methods generic.
Diffstat (limited to 'compiler/rustc_const_eval/src/const_eval/machine.rs')
0 files changed, 0 insertions, 0 deletions