| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-12-06 | Remove polymorphization | Ben Kimock | -334/+0 | |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -1/+1 | |
| 2024-08-29 | Add `warn(unreachable_pub)` to `rustc_monomorphize`. | Nicholas Nethercote | -1/+1 | |
| 2024-08-26 | Stop using a special inner body for the coroutine by-move body for async ↵ | Michael Goulet | -1/+1 | |
| closures | ||||
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -11/+7 | |
| The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options. | ||||
| 2024-06-16 | Rename InstanceDef -> InstanceKind | Michael Goulet | -4/+4 | |
| 2024-06-13 | MIR visitor: constant -> const_operand | Ralf Jung | -1/+1 | |
| 2024-06-05 | Add `Ty` to `mir::Const::Ty` | Boxy | -1/+1 | |
| 2024-05-23 | Remove `#[macro_use] extern crate tracing` from `rustc_monomorphize`. | Nicholas Nethercote | -0/+1 | |
| 2024-05-19 | Add and use generics.is_empty() and generics.is_own_empty, rather than using ↵ | Santiago Pastorino | -1/+1 | |
| generics' attributes | ||||
| 2024-05-09 | Rename Generics::params to Generics::own_params | Michael Goulet | -3/+3 | |
| 2024-03-12 | Change `DefKind::Static` to a struct variant | Oli Scherer | -1/+1 | |
| 2024-03-05 | Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult` | Jason Newcomb | -10/+5 | |
| 2024-02-12 | Dejargnonize subst | Shoyu Vanilla | -1/+1 | |
| 2023-12-24 | Remove `Session` methods that duplicate `DiagCtxt` methods. | Nicholas Nethercote | -1/+1 | |
| Also add some `dcx` methods to types that wrap `TyCtxt`, for easier access. | ||||
| 2023-11-26 | merge `DefKind::Coroutine` into `DefKind::Closure` | bohan | -2/+2 | |
| 2023-10-20 | s/generator/coroutine/ | Oli Scherer | -4/+4 | |
| 2023-10-20 | s/Generator/Coroutine/ | Oli Scherer | -3/+3 | |
| 2023-09-26 | Don't store lazyness in DefKind | Michael Goulet | -1/+1 | |
| 2023-09-21 | rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const | Ralf Jung | -8/+8 | |
| 2023-08-07 | Store the laziness of type aliases in the DefKind | León Orell Valerian Liehr | -1/+1 | |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -13/+12 | |
| 2023-07-08 | Replace RPITIT current impl with new strategy that lowers as a GAT | Santiago Pastorino | -1/+0 | |
| 2023-05-15 | Move expansion of query macros in rustc_middle to rustc_middle::query | John Kåre Alsaker | -1/+1 | |
| 2023-04-20 | Remove WithOptconstParam. | Camille GILLOT | -5/+5 | |
| 2023-03-14 | Use `unused_generic_params` from crate metadata | Michael Goulet | -7/+2 | |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -1/+1 | |
| 2023-02-14 | Add `of_trait` to DefKind::Impl. | Camille GILLOT | -1/+1 | |
| 2023-02-13 | Make visiting traits generic over the Interner | Alan Egerton | -1/+1 | |
| 2023-02-13 | Alias folding/visiting traits instead of re-export | Alan Egerton | -1/+1 | |
| 2023-01-17 | Stop using `BREAK` & `CONTINUE` in compiler | Scott McMurray | -7/+7 | |
| Switching them to `Break(())` and `Continue(())` instead. libs-api would like to remove these constants, so stop using them in compiler to make the removal PR later smaller. | ||||
| 2023-01-09 | Delete unused polymorphization code | Nilstrieb | -46/+1 | |
| 2023-01-09 | Use newtype for unused generic parameters | Nilstrieb | -19/+17 | |
| 2022-12-10 | compiler: remove unnecessary imports and qualified paths | KaDiWa | -1/+0 | |
| 2022-10-17 | mir constants: type traversing bye bye | lcnr | -26/+14 | |
| 2022-10-04 | It's not about types or consts, but the lack of regions | Oli Scherer | -5/+5 | |
| 2022-09-23 | rename Unevaluated to UnevaluatedConst | b-naber | -2/+2 | |
| 2022-09-22 | introduce mir::Unevaluated | b-naber | -4/+3 | |
| 2022-09-14 | address review again | b-naber | -4/+1 | |
| 2022-09-13 | remove visit_const from mir visitors | b-naber | -3/+10 | |
| 2022-09-13 | fixes/working version | b-naber | -1/+1 | |
| 2022-09-13 | use ty::Unevaluated<'tcx, ()> in type system | b-naber | -8/+26 | |
| 2022-09-09 | RPITIT placeholder items | Michael Goulet | -0/+1 | |
| 2022-09-01 | tracing::instrument cleanup | Oli Scherer | -1/+0 | |
| 2022-08-26 | remove unnecessary comment | Nathan Stocks | -5/+0 | |
| 2022-08-25 | rebased: convert rustc_monomorphize errors to SessionDiagnostic | Nathan Stocks | -4/+12 | |
| 2022-07-13 | Rename `debugging_opts` to `unstable_opts` | Joshua Nelson | -1/+1 | |
| This is no longer used only for debugging options (e.g. `-Zoutput-width`, `-Zallow-features`). Rename it to be more clear. | ||||
| 2022-07-06 | Update TypeVisitor paths | Alan Egerton | -1/+1 | |
| 2022-06-14 | Rename the `ConstS::val` field as `kind`. | Nicholas Nethercote | -2/+2 | |
| And likewise for the `Const::val` method. Because its type is called `ConstKind`. Also `val` is a confusing name because `ConstKind` is an enum with seven variants, one of which is called `Value`. Also, this gives consistency with `TyS` and `PredicateS` which have `kind` fields. The commit also renames a few `Const` variables from `val` to `c`, to avoid confusion with the `ConstKind::Value` variant. | ||||
| 2022-06-08 | Folding revamp. | Nicholas Nethercote | -1/+1 | |
| This commit makes type folding more like the way chalk does it. Currently, `TypeFoldable` has `fold_with` and `super_fold_with` methods. - `fold_with` is the standard entry point, and defaults to calling `super_fold_with`. - `super_fold_with` does the actual work of traversing a type. - For a few types of interest (`Ty`, `Region`, etc.) `fold_with` instead calls into a `TypeFolder`, which can then call back into `super_fold_with`. With the new approach, `TypeFoldable` has `fold_with` and `TypeSuperFoldable` has `super_fold_with`. - `fold_with` is still the standard entry point, *and* it does the actual work of traversing a type, for all types except types of interest. - `super_fold_with` is only implemented for the types of interest. Benefits of the new model. - I find it easier to understand. The distinction between types of interest and other types is clearer, and `super_fold_with` doesn't exist for most types. - With the current model is easy to get confused and implement a `super_fold_with` method that should be left defaulted. (Some of the precursor commits fixed such cases.) - With the current model it's easy to call `super_fold_with` within `TypeFolder` impls where `fold_with` should be called. The new approach makes this mistake impossible, and this commit fixes a number of such cases. - It's potentially faster, because it avoids the `fold_with` -> `super_fold_with` call in all cases except types of interest. A lot of the time the compile would inline those away, but not necessarily always. | ||||
