| Commit message (Expand) | Author | Age | Files | Lines |
* | Rollup merge of #111625 - Zoxc:rustc_middle-query-move, r=cjgillot | Dylan DPC | 2023-05-17 | 1 | -1/+1 |
|\ |
|
| * | Finish move of query.rs | John Kåre Alsaker | 2023-05-17 | 1 | -1/+1 |
* | | format `Const`'s less verbosely | Boxy | 2023-05-16 | 1 | -29/+31 |
|/ |
|
* | Move expansion of query macros in rustc_middle to rustc_middle::query | John Kåre Alsaker | 2023-05-15 | 1 | -2/+3 |
* | Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errors | Michael Goulet | 2023-05-08 | 1 | -1/+1 |
|\ |
|
| * | IAT: Introduce AliasKind::Inherent | León Orell Valerian Liehr | 2023-05-04 | 1 | -1/+1 |
* | | Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillot | bors | 2023-05-07 | 1 | -0/+6 |
|\ \
| |/
|/| |
|
| * | Error message for ambiguous RTN from super bounds | Michael Goulet | 2023-05-03 | 1 | -0/+6 |
* | | Implement negative bounds | Michael Goulet | 2023-05-02 | 1 | -0/+3 |
|/ |
|
* | Remove unused `TypeFoldable`/`TypeVisitable` impls. | Nicholas Nethercote | 2023-04-26 | 1 | -1/+1 |
* | Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com... | Matthias Krüger | 2023-04-25 | 1 | -1/+1 |
|\ |
|
| * | add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite... | Kyle Matsuda | 2023-04-20 | 1 | -1/+1 |
* | | Auto merge of #108118 - oli-obk:lazy_typeck, r=cjgillot | bors | 2023-04-23 | 1 | -3/+14 |
|\ \ |
|
| * | | Allow `LocalDefId` as the argument to `def_path_str` | Oli Scherer | 2023-04-21 | 1 | -3/+14 |
* | | | Print ty placeholders pretty | Michael Goulet | 2023-04-22 | 1 | -1/+15 |
|/ / |
|
* | | Remove WithOptconstParam. | Camille GILLOT | 2023-04-20 | 1 | -4/+4 |
|/ |
|
* | Remove `TypeSuper{Foldable,Visitable}` impls for `Region`. | Nicholas Nethercote | 2023-04-16 | 1 | -1/+1 |
* | Fix typos in compiler | DaniPopes | 2023-04-10 | 1 | -1/+1 |
* | Remove u32 on BoundTyKind::Anon | Jack Huey | 2023-04-06 | 1 | -4/+2 |
* | Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR... | Jack Huey | 2023-04-06 | 1 | -4/+11 |
* | Rollup merge of #109506 - BoxyUwU:debugable_bound_var_printing, r=compiler-er... | Matthias Krüger | 2023-03-23 | 1 | -1/+5 |
|\ |
|
| * | make param bound vars visibly bound vars | Boxy | 2023-03-23 | 1 | -1/+5 |
* | | Printing alias-relate goals correctly | Michael Goulet | 2023-03-23 | 1 | -2/+1 |
* | | Rename AliasEq -> AliasRelate | Michael Goulet | 2023-03-23 | 1 | -1/+1 |
* | | Include relation direction in AliasEq predicate | Michael Goulet | 2023-03-23 | 1 | -1/+2 |
|/ |
|
* | ImplTraitPlaceholder -> is_impl_trait_in_trait | Santiago Pastorino | 2023-03-15 | 1 | -1/+1 |
* | rustc_middle: Remove trait `DefIdTree` | Vadim Petrochenkov | 2023-03-02 | 1 | -1/+1 |
* | Remove type-traversal trait aliases | Alan Egerton | 2023-02-22 | 1 | -13/+13 |
* | Pretty placeholders using their names | Michael Goulet | 2023-02-18 | 1 | -1/+4 |
* | Add `Clause::ConstArgHasType` variant | Boxy | 2023-02-17 | 1 | -4/+7 |
* | remove bound_type_of query; make type_of return EarlyBinder; change type_of i... | Kyle Matsuda | 2023-02-16 | 1 | -1/+1 |
* | change usages of type_of to bound_type_of | Kyle Matsuda | 2023-02-16 | 1 | -1/+1 |
* | Add specialized variants of `mk_region`. | Nicholas Nethercote | 2023-02-15 | 1 | -9/+9 |
* | Rename folder traits' `tcx` method to `interner` | Alan Egerton | 2023-02-13 | 1 | -1/+1 |
* | Make folding traits generic over the Interner | Alan Egerton | 2023-02-13 | 1 | -1/+1 |
* | Make visiting traits generic over the Interner | Alan Egerton | 2023-02-13 | 1 | -1/+1 |
* | Alias folding/visiting traits instead of re-export | Alan Egerton | 2023-02-13 | 1 | -2/+2 |
* | Pre-intern some commonly used type variables. | Nicholas Nethercote | 2023-02-13 | 1 | -2/+2 |
* | Auto merge of #105671 - lukas-code:depreciate-char, r=scottmcm | bors | 2023-02-12 | 1 | -1/+0 |
|\ |
|
| * | Use associated items of `char` instead of freestanding items in `core::char` | Lukas Markeffsky | 2023-01-14 | 1 | -1/+0 |
* | | Auto merge of #107507 - BoxyUwU:deferred_projection_equality, r=lcnr | bors | 2023-02-11 | 1 | -0/+1 |
|\ \ |
|
| * | | add `AliasEq` to `PredicateKind` | Boxy | 2023-02-10 | 1 | -0/+1 |
* | | | Change to `ReError(ErrorGuaranteed)` | Esteban Küber | 2023-02-09 | 1 | -2/+2 |
* | | | Introduce `ReError` | Esteban Küber | 2023-02-09 | 1 | -1/+2 |
|/ / |
|
* | | Rollup merge of #107585 - compiler-errors:fndef-sig-cycle, r=oli-obk | Dylan DPC | 2023-02-03 | 1 | -5/+18 |
|\ \ |
|
| * | | Tweak misleading comment | Michael Goulet | 2023-02-02 | 1 | -1/+1 |
| * | | Don't cause a cycle when formatting query description that references a FnDef | Michael Goulet | 2023-02-02 | 1 | -5/+18 |
* | | | Rollup merge of #107486 - compiler-errors:bound-ty-keep-name, r=oli-obk | Guillaume Gomez | 2023-01-31 | 1 | -2/+4 |
|\ \ \
| |/ /
|/| | |
|
| * | | Track bound types like bound regions | Michael Goulet | 2023-01-30 | 1 | -2/+4 |
* | | | Hide lifetimes of `impl Trait` in force trimmed paths | Esteban Küber | 2023-01-30 | 1 | -3/+5 |