rust/compiler/rustc_infer/src/infer
Matthias Krüger 1f6c75e682
Rollup merge of #137305 - nnethercote:rustc_middle-2, r=lcnr
Tweaks in and around `rustc_middle`

A bunch of tiny improvements I found while working on bigger things.

r? ```@lcnr```
2025-02-21 12:45:25 +01:00
..
canonical rm unnecessary `OpaqueTypeDecl` wrapper 2025-01-13 14:33:18 +01:00
lexical_region_resolve uplift fold_regions to rustc_type_ir 2024-11-28 10:40:58 +01:00
opaque_types rm unnecessary `OpaqueTypeDecl` wrapper 2025-01-13 14:33:18 +01:00
outlives Rustfmt 2025-02-08 22:12:13 +00:00
region_constraints Move `unify_key` module. 2025-02-02 17:38:19 +11:00
relate Rustfmt 2025-02-08 22:12:13 +00:00
snapshot Move `unify_key` module. 2025-02-02 17:38:19 +11:00
at.rs Pass spans around new solver 2025-02-05 18:32:06 +00:00
context.rs Pass spans around new solver 2025-02-05 18:32:06 +00:00
free_regions.rs Remove `#[macro_use] extern crate tracing` from `rustc_infer`. 2024-08-30 10:01:35 +10:00
freshen.rs introduce `ty::Value` 2025-01-30 17:47:44 +01:00
mod.rs Rollup merge of #137305 - nnethercote:rustc_middle-2, r=lcnr 2025-02-21 12:45:25 +01:00
projection.rs Swap Vec<PredicateObligation> to type alias 2024-10-12 15:17:08 +01:00
resolve.rs Remove associated type based effects logic 2024-10-24 09:46:36 +00:00
type_variable.rs clone range in a more obvious way 2024-10-23 22:22:58 +02:00
unify_key.rs Move `unify_key` module. 2025-02-02 17:38:19 +11:00