| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2022-10-04 | Make QueryOutlivesConstraint contain a ConstraintCategory | Jack Huey | -2/+5 | |
| (cherry picked from commit a46376e247e947f6e7db5ac6da5da4d88249942a) | ||||
| 2022-09-16 | Revert "Better errors for implied static bound" | Jack Huey | -5/+2 | |
| This reverts commit c75817b0a75d4b6b01ee10900ba5d01d4915e6a8. | ||||
| 2022-09-15 | Merge all `TypeVisitable for &List<T>` impls into one generic one | Oli Scherer | -8/+12 | |
| 2022-09-13 | Better errors for implied static bound | Jack Huey | -2/+5 | |
| 2022-08-01 | make `PlaceholderConst` not store the type of the const | Ellen | -3/+3 | |
| 2022-07-26 | Use real opaque type instead of just saying impl Trait | Michael Goulet | -4/+4 | |
| 2022-07-19 | Use LocalDefId in OpaqueTypeKey | Michael Goulet | -2/+2 | |
| 2022-07-05 | impl TypeVisitable in type traversal macros | Alan Egerton | -2/+2 | |
| 2022-07-05 | Add #[derive(TypeVisitable)] | Alan Egerton | -5/+5 | |
| 2022-06-14 | Rename the `ConstS::val` field as `kind`. | Nicholas Nethercote | -1/+1 | |
| 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-05-02 | fix most compiler/ doctests | Elliot Roberts | -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-03-30 | Spellchecking compiler comments | Yuri Astrakhan | -1/+1 | |
| This PR cleans up the rest of the spelling mistakes in the compiler comments. This PR does not change any literal or code spelling issues. | ||||
| 2022-03-28 | Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk" | Oli Scherer | -0/+6 | |
| This reverts commit 6499c5e7fc173a3f55b7a3bd1e6a50e9edef782d, reversing changes made to 78450d2d602b06d9b94349aaf8cece1a4acaf3a8. | ||||
| 2022-02-15 | Inline UnifyKey::index and UnifyKey::from_index | Tomasz Miąsko | -0/+4 | |
| 2022-02-15 | Overhaul `Const`. | Nicholas Nethercote | -10/+10 | |
| 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. | ||||
| 2022-02-11 | Renumber universes when canonicalizing for Chalk | Matthew Jasper | -3/+3 | |
| This is required to avoid creating large numbers of universes from each Chalk query, while still having enough universe information for lifetime errors. | ||||
| 2022-02-11 | Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis" | Oli Scherer | -6/+0 | |
| This reverts commit e7cc3bddbe0d0e374d05e7003e662bba1742dbae, reversing changes made to 734368a200904ef9c21db86c595dc04263c87be0. | ||||
| 2022-02-03 | Clean up opaque type obligations in query results | Oli Scherer | -4/+7 | |
| 2022-02-02 | Clean up leftovers from eager hidden type merging | Oli Scherer | -1/+1 | |
| 2022-02-02 | Lazily resolve type-alias-impl-trait defining uses | Oli Scherer | -1/+4 | |
| by using an opaque type obligation to bubble up comparisons between opaque types and other types Also uses proper obligation causes so that the body id works, because out of some reason nll uses body ids for logic instead of just diagnostics. | ||||
| 2022-01-12 | Canonicalize const variables correctly | Michael Goulet | -4/+4 | |
| 2021-12-15 | Remove `in_band_lifetimes` from `rustc_middle` | Aaron Hill | -2/+2 | |
| 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-12-12 | Remap more env constness for queries | Deadbeef | -0/+8 | |
| 2021-06-02 | Miscellaneous inlining improvements | Tomasz Miąsko | -0/+1 | |
| 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-31 | Add var to BoundRegion. Add query to get bound vars for applicable items. | Jack Huey | -1/+2 | |
| 2021-03-31 | Add tcx lifetime to Binder | Jack Huey | -1/+1 | |
| 2021-03-27 | Remove (lots of) dead code | Joshua Nelson | -15/+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-03-26 | Use iter::zip in compiler/ | Josh Stone | -4/+2 | |
| 2021-01-18 | Move a few more types to `rustc_type_ir` | LeSeulArtichaut | -50/+3 | |
| 2020-12-18 | Make BoundRegion have a kind of BoungRegionKind | Jack Huey | -3/+4 | |
| 2020-11-16 | words | lcnr | -2/+2 | |
| 2020-11-12 | Add type to `ConstKind::Placeholder` | varkor | -10/+12 | |
| 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/+620 | |
