| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -6/+10 | |
| 2023-05-15 | Move expansion of query macros in rustc_middle to rustc_middle::query | John Kåre Alsaker | -1/+1 | |
| 2023-03-21 | Use local key in providers | Michael Goulet | -2/+2 | |
| 2023-02-16 | remove bound_type_of query; make type_of return EarlyBinder; change type_of ↵ | Kyle Matsuda | -6/+2 | |
| in metadata | ||||
| 2023-02-16 | change usages of type_of to bound_type_of | Kyle Matsuda | -2/+6 | |
| 2022-10-07 | Rewrite representability | Cameron Steffen | -359/+92 | |
| 2022-07-20 | Remove unused StableMap and StableSet types from rustc_data_structures | Michael Woerister | -1/+1 | |
| 2022-03-31 | Specialize suggestion for Option<T> | Michael Goulet | -23/+47 | |
| 2022-03-11 | Improve `AdtDef` interning. | Nicholas Nethercote | -7/+7 | |
| This commit makes `AdtDef` use `Interned`. Much the commit is tedious changes to introduce getter functions. The interesting changes are in `compiler/rustc_middle/src/ty/adt.rs`. | ||||
| 2022-02-21 | use `List<Ty<'tcx>>` for tuples | lcnr | -2/+2 | |
| 2022-02-15 | Overhaul `TyS` and `Ty`. | Nicholas Nethercote | -2/+2 | |
| Specifically, change `Ty` from this: ``` pub type Ty<'tcx> = &'tcx TyS<'tcx>; ``` to this ``` pub struct Ty<'tcx>(Interned<'tcx, TyS<'tcx>>); ``` There are two benefits to this. - It's now a first class type, so we can define methods on it. This means we can move a lot of methods away from `TyS`, leaving `TyS` as a barely-used type, which is appropriate given that it's not meant to be used directly. - The uniqueness requirement is now explicit, via the `Interned` type. E.g. the pointer-based `Eq` and `Hash` comes from `Interned`, rather than via `TyS`, which wasn't obvious at all. Much of this commit is boring churn. The interesting changes are in these files: - compiler/rustc_middle/src/arena.rs - compiler/rustc_middle/src/mir/visit.rs - compiler/rustc_middle/src/ty/context.rs - compiler/rustc_middle/src/ty/mod.rs Specifically: - Most mentions of `TyS` are removed. It's very much a dumb struct now; `Ty` has all the smarts. - `TyS` now has `crate` visibility instead of `pub`. - `TyS::make_for_test` is removed in favour of the static `BOOL_TY`, which just works better with the new structure. - The `Eq`/`Ord`/`Hash` impls are removed from `TyS`. `Interned`s impls of `Eq`/`Hash` now suffice. `Ord` is now partly on `Interned` (pointer-based, for the `Equal` case) and partly on `TyS` (contents-based, for the other cases). - There are many tedious sigil adjustments, i.e. adding or removing `*` or `&`. They seem to be unavoidable. | ||||
| 2022-02-01 | remove `TyS::same_type` | lcnr | -1/+1 | |
| it ignored regions and constants in adts, but didn't do so for references or any other types. This seemed quite weird | ||||
| 2022-01-15 | Reduce use of local_def_id_to_hir_id. | Camille GILLOT | -6/+1 | |
| 2021-05-10 | Implement changes suggested by tmiasko and davidtwco | Fabian Wolff | -43/+42 | |
| 2021-05-06 | Fix stack overflow when checking for structural recursion | Fabian Wolff | -17/+199 | |
| 2021-04-27 | move `representability` out of `rustc_middle` | lcnr | -0/+186 | |
