| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-06-25 | rename RegionVariableOrigin::MiscVariable to RegionVariableOrigin::Misc | Michael Goulet | -4/+3 | |
| 2025-05-27 | Rename unpack to kind | Michael Goulet | -1/+1 | |
| 2025-05-02 | Use less rustc_type_ir in the compiler codebase | Romain Perier | -5/+3 | |
| This commit does the following: - Replaces use of rustc_type_ir by rustc_middle in rustc_infer. - The DelayedMap type is exposed by rustc_middle so everything can be accessed through rustc_middle in a coherent manner. - API-layer traits, like InferCtxtLike, Interner or inherent::* must be accessed via rustc_type_ir, not rustc_middle::ty. For this reason these are not reexported by rustc_middle::ty. - Replaces use of ty::Interner by rustc_type_ir::Interner in rustc_trait_selection | ||||
| 2025-04-24 | Remove `weak` alias terminology | Boxy | -1/+1 | |
| 2025-04-08 | clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()` | xizheyin | -1/+1 | |
| Signed-off-by: xizheyin <xizheyin@smail.nju.edu.cn> | ||||
| 2025-03-15 | Fold visit into ty | Michael Goulet | -5/+3 | |
| 2025-03-15 | Squash fold into ty | Michael Goulet | -2/+1 | |
| 2025-02-26 | Use Binder<Vec<T>> instead of Vec<Binder<T>> in new solver | Michael Goulet | -2/+4 | |
| 2025-02-08 | Rustfmt | bjorn3 | -12/+12 | |
| 2025-02-02 | Move `unify_key` module. | Nicholas Nethercote | -1/+1 | |
| From `rustc_middle::infer` to `rustc_infer::infer`. Because everything in it is only used within `rustc_infer`, and no longer needs to be `pub`. Plus it's always good to make the huge `rustc_middle` crate smaller. | ||||
| 2025-01-22 | Remove `Copy` bound from `enter_forall` | Boxy | -3/+3 | |
| 2024-11-23 | no more Reveal :( | lcnr | -8/+2 | |
| 2024-10-29 | TypingMode :thinking: | lcnr | -2/+9 | |
| 2024-10-24 | Remove associated type based effects logic | Michael Goulet | -1/+0 | |
| 2024-10-12 | Swap Vec<PredicateObligation> to type alias | GnomedDev | -8/+8 | |
| 2024-10-10 | Make super combine into fns | Michael Goulet | -8/+8 | |
| 2024-10-10 | Use SolverRelating in favor of TypeRelating in the old solver where possible | Michael Goulet | -3/+2 | |
| 2024-10-10 | Remove unnecessary StructurallyRelateAliases from CombineFields/TypeRelating | Michael Goulet | -4/+1 | |
| 2024-10-10 | Use SolverRelating in new solver | Michael Goulet | -1/+0 | |
| 2024-10-10 | Uplift super_combine | Michael Goulet | -250/+5 | |
| 2024-10-10 | Move ty::Error branch into super_combine_tys | Michael Goulet | -5/+5 | |
| 2024-10-08 | Improve formatting of some comments. | Nicholas Nethercote | -2/+4 | |
| I.e. fixing comments lines that are too long or too short. | ||||
| 2024-10-07 | Remove unnecessary DefineOpaqueTypes from lub | Michael Goulet | -11/+7 | |
| 2024-10-07 | Inline CombineFields | Michael Goulet | -173/+129 | |
| 2024-10-07 | Reduce visibilities some more. | Nicholas Nethercote | -11/+11 | |
| It helps people reading the code understand how widely things are used. | ||||
| 2024-10-04 | Auto merge of #131191 - nnethercote:lattice_op, r=lcnr | bors | -403/+231 | |
| Merge `glb` and `lub` modules Tons of code is duplicated across them, and it's easy to factor that out. r? `@lcnr` | ||||
| 2024-10-04 | Remove `LatticeDir` trait. | Nicholas Nethercote | -104/+69 | |
| It's no longer necessary now that the `glb` and `lub` modules have been merged. | ||||
| 2024-10-04 | Merge `rustc_infer::infer::relate::{glb,lub}`. | Nicholas Nethercote | -333/+196 | |
| Most of the code in these two modules is duplicated in the other module. This commit eliminates the duplication by replacing them with a new module `lattice_op`. The new `LatticeOpKind` enum is used to distinguish between glb and lub in the few places where the behaviour differs. | ||||
| 2024-10-02 | review | lcnr | -3/+5 | |
| 2024-10-01 | add caches to multiple type folders | lcnr | -2/+46 | |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -19/+19 | |
| 2024-09-10 | generalize: track relevant info in cache key | lcnr | -9/+9 | |
| 2024-09-02 | chore: Fix typos in 'compiler' (batch 1) | Alexander Cyon | -2/+2 | |
| 2024-08-30 | Remove `#[macro_use] extern crate tracing` from `rustc_infer`. | Nicholas Nethercote | -0/+7 | |
| 2024-08-27 | Add `warn(unreachable_pub)` to `rustc_infer`. | Nicholas Nethercote | -2/+2 | |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -36/+34 | |
| The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options. | ||||
| 2024-07-18 | Remove tag field from relations | Michael Goulet | -25/+11 | |
| 2024-07-17 | Fix relations | Michael Goulet | -15/+15 | |
| 2024-07-06 | Uplift PredicateEmittingRelation first | Michael Goulet | -39/+15 | |
| 2024-06-15 | Rollup merge of #126354 - compiler-errors:variance, r=lcnr | Matthias Krüger | -26/+16 | |
| Use `Variance` glob imported variants everywhere Fully commit to using the globbed variance. Could be convinced the other way, and change this PR to not use the globbed variants anywhere, but I'd rather we do one or the other. r? lcnr | ||||
| 2024-06-12 | Use Variance glob import everywhere | Michael Goulet | -26/+16 | |
| 2024-06-12 | Move MatchAgainstFreshVars to old solver | Michael Goulet | -123/+0 | |
| 2024-06-11 | Try not to make obligations in handle_opaque_type | Michael Goulet | -16/+7 | |
| 2024-06-11 | Rename some things | Michael Goulet | -36/+35 | |
| 2024-06-11 | Make ObligationEmittingRelation deal with Goals only | Michael Goulet | -25/+64 | |
| 2024-06-11 | Get rid of PredicateObligations | Michael Goulet | -10/+10 | |
| 2024-06-06 | Uplift TypeRelation and Relate | Michael Goulet | -48/+166 | |
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -8/+3 | |
| 2024-06-05 | bivariant alias: set `has_unconstrained_ty_var` | lcnr | -2/+10 | |
| 2024-06-01 | Simplify IntVarValue/FloatVarValue | Michael Goulet | -64/+25 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |