| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-02-02 | Move `unify_key` module. | Nicholas Nethercote | -170/+0 | |
| 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-02-02 | Remove unused `ToType` trait. | Nicholas Nethercote | -5/+1 | |
| 2024-10-24 | Remove associated type based effects logic | Michael Goulet | -67/+0 | |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -1/+1 | |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -3/+5 | |
| The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options. | ||||
| 2024-06-01 | Simplify IntVarValue/FloatVarValue | Michael Goulet | -15/+1 | |
| 2024-04-15 | nits | Michael Goulet | -1/+3 | |
| 2024-04-15 | Remove ConstVariableOriginKind | Michael Goulet | -10/+2 | |
| 2024-02-22 | add comment | lcnr | -1/+8 | |
| 2024-02-22 | region unification update universe of region vars | lcnr | -44/+38 | |
| 2024-02-05 | cleanup effect var handling | lcnr | -19/+23 | |
| 2024-01-16 | don't store const var origins for known vars | lcnr | -19/+10 | |
| 2023-11-14 | finish `RegionKind` rename | lcnr | -2/+2 | |
| - `ReFree` -> `ReLateParam` - `ReEarlyBound` -> `ReEarlyParam` | ||||
| 2023-11-13 | rename `ReLateBound` to `ReBound` | lcnr | -3/+2 | |
| other changes: - `Region::new_late_bound` -> `Region::new_bound` - `Region::is_late_bound` -> `Region::is_bound` | ||||
| 2023-10-24 | Get rid of 'tcx on ConstVid, EffectVid | Michael Goulet | -8/+32 | |
| 2023-09-10 | Implement fallback for effect param | Deadbeef | -0/+50 | |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -3/+3 | |
| 2023-06-05 | Remove redundant InferCtxtExt::fresh_item_substs | Michael Goulet | -1/+0 | |
| 2023-04-10 | Fix typos in compiler | DaniPopes | -1/+1 | |
| 2023-03-08 | prefer universal from lower universe | Ali MJ Al-Nasrawy | -1/+17 | |
| In case a variable is unified with two universal regions from different universes, use the one with the lower universe as it has a higher chance of being compatible with the variable. | ||||
| 2023-03-08 | address review comment | Ali MJ Al-Nasrawy | -3/+16 | |
| 2022-09-22 | Const unification is already infallible, remove the error handling logic | Oli Scherer | -1/+1 | |
| 2022-04-01 | remove unused incorrect `EqUnifyValue` impl | lcnr | -3/+1 | |
| 2022-04-01 | remove `unify_key::replace_if_possible` | lcnr | -25/+2 | |
| 2022-02-15 | Inline UnifyKey::index and UnifyKey::from_index | Tomasz Miąsko | -0/+4 | |
| 2022-02-15 | Overhaul `Const`. | Nicholas Nethercote | -8/+8 | |
| Specifically, rename the `Const` struct as `ConstS` and re-introduce `Const` as this: ``` pub struct Const<'tcx>(&'tcx Interned<ConstS>); ``` This now matches `Ty` and `Predicate` more closely, including using pointer-based `eq` and `hash`. Notable changes: - `mk_const` now takes a `ConstS`. - `Const` was copy, despite being 48 bytes. Now `ConstS` is not, so need a we need separate arena for it, because we can't use the `Dropless` one any more. - Many `&'tcx Const<'tcx>`/`&Const<'tcx>` to `Const<'tcx>` changes - Many `ct.ty` to `ct.ty()` and `ct.val` to `ct.val()` changes. - Lots of tedious sigil fiddling. | ||||
| 2021-12-15 | Remove `in_band_lifetimes` from `rustc_middle` | Aaron Hill | -1/+1 | |
| See #91867 This was mostly straightforward. In several places, I take advantage of the fact that lifetimes are non-hygenic: a macro declares the 'tcx' lifetime, which is then used in types passed in as macro arguments. | ||||
| 2021-05-15 | Add comment | Jack Huey | -0/+3 | |
| 2021-05-14 | Store Option<Region> as value for RegionVid | Jack Huey | -22/+30 | |
| 2021-05-14 | Make the UnifyValue for RegionVid () | Jack Huey | -1/+1 | |
| 2021-03-27 | Remove (lots of) dead code | Joshua Nelson | -7/+0 | |
| Found with https://github.com/est31/warnalyzer. Dubious changes: - Is anyone else using rustc_apfloat? I feel weird completely deleting x87 support. - Maybe some of the dead code in rustc_data_structures, in case someone wants to use it in the future? - Don't change rustc_serialize I plan to scrap most of the json module in the near future (see https://github.com/rust-lang/compiler-team/issues/418) and fixing the tests needed more work than I expected. TODO: check if any of the comments on the deleted code should be kept. | ||||
| 2021-01-18 | Move a few more types to `rustc_type_ir` | LeSeulArtichaut | -50/+3 | |
| 2020-10-23 | review | Bastian Kauschke | -12/+9 | |
| 2020-10-22 | improve const infer error | Bastian Kauschke | -11/+5 | |
| 2020-09-23 | use relevant span when unifying `ConstVarValue`s | Bastian Kauschke | -7/+7 | |
| 2020-09-23 | merge `need_type_info_err(_const)` | Bastian Kauschke | -2/+2 | |
| 2020-09-14 | improve const infer err | Bastian Kauschke | -0/+1 | |
| 2020-08-30 | mv compiler to compiler/ | mark | -0/+234 | |
