| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-12-10 | Revert "Don't print host effect param in pretty path_generic_args" | Deadbeef | -2/+0 | |
| This reverts commit f1bf874fb13703d706fc8184407c6df12555d8e9. | ||||
| 2023-12-09 | Don't print host effect param in pretty path_generic_args | Michael Goulet | -0/+2 | |
| 2023-12-03 | rustc: Harmonize `DefKind` and `DefPathData` | Vadim Petrochenkov | -3/+2 | |
| `DefPathData::(ClosureExpr,ImplTrait)` are renamed to match `DefKind::(Closure,OpaqueTy)`. `DefPathData::ImplTraitAssocTy` is replaced with `DefPathData::TypeNS(kw::Empty)` because both correspond to `DefKind::AssocTy`. It's possible that introducing `(DefKind,DefPathData)::AssocOpaqueTy` could be a better solution, but that would be a much more invasive change. Const generic parameters introduced for effects are moved from `DefPathData::TypeNS` to `DefPathData::ValueNS`, because constants are values. `DefPathData` is no longer passed to `create_def` functions to avoid redundancy. | ||||
| 2023-11-21 | Fix some unnecessary casts | Nilstrieb | -1/+1 | |
| `x clippy compiler -Aclippy::all -Wclippy::unnecessary_cast --fix` with some manual review to ensure every fix is correct. | ||||
| 2023-11-13 | rename `ReLateBound` to `ReBound` | lcnr | -2/+2 | |
| other changes: - `Region::new_late_bound` -> `Region::new_bound` - `Region::is_late_bound` -> `Region::is_bound` | ||||
| 2023-10-21 | Make `ty::print::Printer` take `&mut self` instead of `self` | Nilstrieb | -90/+91 | |
| This simplifies the code by removing all the `self` assignments and makes the flow of data clearer - always into the printer. Especially in v0 mangling, which already used `&mut self` in some places, it gets a lot more uniform. | ||||
| 2023-10-20 | s/Generator/Coroutine/ | Oli Scherer | -2/+2 | |
| 2023-10-17 | Remove `Printer::Error` | Nilstrieb | -22/+20 | |
| It's always a `fmt::Error` except in some cases where it was `!`, but we're not really winning anything in that case. | ||||
| 2023-10-17 | Remove "subprinter" types from `Printer` | Nilstrieb | -20/+14 | |
| These are `Self` in almost all printers except one, which can just store the state as a field instead. This simplifies the printer and allows for further simplifications, for example using `&mut self` instead of passing around the printer. | ||||
| 2023-09-24 | Remove span from BrAnon. | Camille GILLOT | -1/+1 | |
| 2023-09-23 | Remove GeneratorWitness and rename GeneratorWitnessMIR. | Camille GILLOT | -2/+1 | |
| 2023-09-20 | the Const::eval_bits methods don't need to be given the Ty | Ralf Jung | -1/+1 | |
| 2023-09-13 | make the eval() functions on our const types return the resulting value | Ralf Jung | -1/+1 | |
| 2023-08-02 | avoid 'miri' when refering to the shared interpreter | Ralf Jung | -1/+2 | |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -24/+24 | |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -1/+1 | |
| 2023-07-05 | Deal with fallout | Boxy | -1/+1 | |
| 2023-07-04 | nit | Boxy | -0/+1 | |
| Co-authored-by: lcnr <rust@lcnr.de> | ||||
| 2023-07-04 | Replace `mk_const` with `Const::new_x` methods | Boxy | -1/+1 | |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -0/+1 | |
| Only use it when the type alias contains an opaque type. Also does wf-checking on such type aliases. | ||||
| 2023-05-29 | EarlyBinder::new -> EarlyBinder::bind | lcnr | -1/+1 | |
| 2023-05-28 | Replace EarlyBinder(x) with EarlyBinder::new(x) | Kyle Matsuda | -1/+1 | |
| 2023-05-22 | properly pretty-print inherent projections | León Orell Valerian Liehr | -1/+2 | |
| 2023-04-18 | Store hashes in special types so they aren't accidentally encoded as numbers | Ben Kimock | -1/+1 | |
| 2023-04-06 | Remove index from BrAnon | Jack Huey | -21/+12 | |
| 2023-03-29 | Support TLS access into dylibs on Windows | John Kåre Alsaker | -0/+1 | |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -2/+3 | |
| 2023-02-19 | Add associated_items_for_impl_trait_in_trait query | Santiago Pastorino | -0/+1 | |
| 2023-02-13 | Pre-intern some commonly used type variables. | Nicholas Nethercote | -1/+1 | |
| This requires some rearrangement of plumbing, such as adding `mk_fresh_{,int_,float_}ty` and removing `mk_ty_infer`. | ||||
| 2023-01-27 | Introduce GeneratorWitnessMIR. | Camille GILLOT | -0/+1 | |
| 2023-01-08 | Add type flags support for Ty and Const late-bound regions | Michael Goulet | -0/+1 | |
| 2023-01-05 | Fix `uninlined_format_args` for some compiler crates | nils | -2/+2 | |
| Convert all the crates that have had their diagnostic migration completed (except save_analysis because that will be deleted soon and apfloat because of the licensing problem). | ||||
| 2022-12-14 | Ensure no one constructs `AliasTy`s themselves | Oli Scherer | -1/+1 | |
| 2022-12-13 | Combine identical alias arms | Michael Goulet | -2/+1 | |
| 2022-12-13 | Combine projection and opaque into alias | Michael Goulet | -2/+2 | |
| 2022-12-13 | squash OpaqueTy and ProjectionTy into AliasTy | Michael Goulet | -2/+2 | |
| 2022-12-13 | ProjectionTy.item_def_id -> ProjectionTy.def_id | Michael Goulet | -2/+2 | |
| 2022-12-13 | Use ty::OpaqueTy everywhere | Michael Goulet | -1/+1 | |
| 2022-11-26 | Rollup merge of #104786 - WaffleLapkin:amp-mut-help, r=compiler-errors | Guillaume Gomez | -1/+1 | |
| Use the power of adding helper function to simplify code w/ `Mutability` r? `@compiler-errors` | ||||
| 2022-11-25 | Add empty ConstKind::Abstract | kadmin | -0/+1 | |
| Initial pass at expr/abstract const/s Address comments Switch to using a list instead of &[ty::Const], rm `AbstractConst` Remove try_unify_abstract_consts Update comments Add edits Recurse more More edits Prevent equating associated consts Move failing test to ui Changes this test from incremental to ui, and mark it as failing and a known bug. Does not cause the compiler to ICE, so should be ok. | ||||
| 2022-11-23 | Add `Mutability::{is_mut,is_not}` | Maybe Waffle | -1/+1 | |
| 2022-11-21 | Unreserve braced enum variants in value namespace | Vadim Petrochenkov | -4/+4 | |
| 2022-11-19 | drive-by: PolyExistentialPredicate | Michael Goulet | -1/+1 | |
| 2022-11-07 | Add an optional Span to BrAnon and use it to print better error for HRTB ↵ | Jack Huey | -2/+2 | |
| error from generator interior | ||||
| 2022-11-04 | Refactor tcx mk_const parameters. | Mateusz | -2/+1 | |
| 2022-10-04 | It's not about types or consts, but the lack of regions | Oli Scherer | -1/+1 | |
| 2022-09-19 | remove the `Subst` trait, always use `EarlyBinder` | lcnr | -1/+1 | |
| 2022-09-13 | Address code review comments | Eric Holk | -2/+6 | |
| 2022-09-12 | Plumb dyn trait representation through ty::Dynamic | Eric Holk | -1/+1 | |
| 2022-09-05 | Pack `Term` in the same way as `GenericArg`. | Nicholas Nethercote | -3/+3 | |
| This shrinks the `PredicateS` type, which is instanted frequently. | ||||
