| Commit message (Expand) | Author | Age | Files | Lines |
* | Rollup merge of #111648 - Nilstrieb:language-items, r=WaffleLapkin | Dylan DPC | 2023-05-17 | 1 | -3/+1 |
|\ |
|
| * | Remove `LangItems::require` | Nilstrieb | 2023-05-16 | 1 | -3/+1 |
* | | Rollup merge of #111533 - clubby789:drop-tracking-error, r=oli-obk | Matthias Krüger | 2023-05-16 | 1 | -1/+1 |
|\ \ |
|
| * | | Handle error body when in generator layout | clubby789 | 2023-05-13 | 1 | -1/+1 |
* | | | Rollup merge of #111578 - Zoxc:query-macro-move, r=cjgillot | Matthias Krüger | 2023-05-15 | 10 | -11/+12 |
|\ \ \ |
|
| * | | | Move expansion of query macros in rustc_middle to rustc_middle::query | John Kåre Alsaker | 2023-05-15 | 10 | -11/+12 |
| |/ / |
|
* | | | Auto merge of #111570 - compiler-errors:ct-err, r=BoxyUwU | bors | 2023-05-15 | 1 | -4/+4 |
|\ \ \
| |/ /
|/| | |
|
| * | | Rename const error methods for consistency | Michael Goulet | 2023-05-14 | 1 | -4/+4 |
* | | | Add a convenience function | Oli Scherer | 2023-05-12 | 1 | -8/+1 |
* | | | Invert `IgnoreRegions` to `CheckRegions` | Oli Scherer | 2023-05-12 | 2 | -4/+4 |
* | | | Require `impl Trait` in associated types to appear in method signatures | Oli Scherer | 2023-05-12 | 6 | -11/+23 |
|/ / |
|
* | | Rollup merge of #106038 - aliemjay:opaque-implied, r=lcnr | Michael Goulet | 2023-05-11 | 1 | -3/+14 |
|\ \
| |/
|/| |
|
| * | use implied bounds when checking opaque types | Ali MJ Al-Nasrawy | 2023-05-07 | 1 | -3/+14 |
* | | Rollup merge of #111215 - BoxyUwU:resolve_anon_consts_differently, r=cjgillot | Matthias Krüger | 2023-05-09 | 1 | -14/+17 |
|\ \ |
|
| * | | misc nameres changes for anon consts | Boxy | 2023-05-05 | 1 | -14/+17 |
| |/ |
|
* | | Rollup merge of #111252 - matthewjasper:min-spec-improvements, r=compiler-errors | Dylan DPC | 2023-05-09 | 3 | -4/+42 |
|\ \ |
|
| * | | Report nicer lifetime errors for specialization | Matthew Jasper | 2023-05-05 | 1 | -3/+16 |
| * | | Disallow (min) specialization imps with no items | Matthew Jasper | 2023-05-05 | 3 | -1/+26 |
| |/ |
|
* | | Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errors | Michael Goulet | 2023-05-08 | 6 | -29/+54 |
|\ \ |
|
| * | | IAT: Introduce AliasKind::Inherent | León Orell Valerian Liehr | 2023-05-04 | 6 | -29/+54 |
* | | | Rollup merge of #111211 - compiler-errors:negative-bounds-super, r=TaKO8Ki | Yuki Okushi | 2023-05-08 | 1 | -5/+6 |
|\ \ \ |
|
| * | | | Don't compute trait super bounds unless they're positive | Michael Goulet | 2023-05-04 | 1 | -5/+6 |
| | |/
| |/| |
|
* | | | Auto merge of #106621 - ozkanonur:enable-elided-lifetimes-for-doctests, r=Mar... | bors | 2023-05-08 | 2 | -18/+30 |
|\ \ \ |
|
| * | | | enable `rust_2018_idioms` for doctests | ozkanonur | 2023-05-07 | 2 | -18/+30 |
* | | | | Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillot | bors | 2023-05-07 | 6 | -39/+106 |
|\ \ \ \ |
|
| * | | | | Error message for ambiguous RTN from super bounds | Michael Goulet | 2023-05-03 | 3 | -3/+27 |
| * | | | | Rename things to reflect that they're not item specific | Michael Goulet | 2023-05-03 | 4 | -11/+11 |
| * | | | | Support RTN on associated methods from supertraits | Michael Goulet | 2023-05-03 | 4 | -28/+71 |
* | | | | | Rollup merge of #110577 - compiler-errors:drop-impl-fulfill, r=lcnr | Matthias Krüger | 2023-05-06 | 1 | -233/+91 |
|\ \ \ \ \ |
|
| * | | | | | Use fulfillment to check Drop impl compatibility | Michael Goulet | 2023-05-04 | 1 | -233/+91 |
| | |_|/ /
| |/| | | |
|
* | | | | | remove unnecessary attribute from a diagnostic | Takayuki Maeda | 2023-05-05 | 1 | -1/+0 |
|/ / / / |
|
* | | | | Auto merge of #111174 - matthiaskrgr:rollup-ncnqivh, r=matthiaskrgr | bors | 2023-05-04 | 3 | -1/+34 |
|\ \ \ \
| |_|_|/
|/| | | |
|
| * | | | Rollup merge of #110859 - compiler-errors:no-negative-drop-impls, r=oli-obk | Matthias Krüger | 2023-05-04 | 3 | -1/+34 |
| |\ \ \ |
|
| | * | | | Explicitly reject negative and reservation drop impls | Michael Goulet | 2023-04-27 | 3 | -1/+34 |
* | | | | | Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnr | bors | 2023-05-04 | 6 | -10/+15 |
|\ \ \ \ \
| |/ / / /
|/| | | | |
|
| * | | | | Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber... | Maybe Waffle | 2023-04-26 | 1 | -1/+1 |
| * | | | | Remove some useless `ty::Binder::dummy` calls | Maybe Waffle | 2023-04-25 | 2 | -3/+3 |
| * | | | | Replace `tcx.mk_trait_ref` with `ty::TraitRef::new` | Maybe Waffle | 2023-04-25 | 6 | -9/+14 |
* | | | | | Rollup merge of #110791 - compiler-errors:negative-bounds, r=oli-obk | Dylan DPC | 2023-05-04 | 3 | -6/+37 |
|\ \ \ \ \
| |_|_|/ /
|/| | | | |
|
| * | | | | Make negative trait bounds work with the old trait solver | Michael Goulet | 2023-05-02 | 1 | -0/+10 |
| * | | | | Disallow associated type constraints on negative bounds | Michael Goulet | 2023-05-02 | 1 | -2/+0 |
| * | | | | Implement negative bounds | Michael Goulet | 2023-05-02 | 3 | -6/+29 |
* | | | | | Restrict `From<S>` for `{D,Subd}iagnosticMessage`. | Nicholas Nethercote | 2023-05-03 | 19 | -115/+112 |
|/ / / / |
|
* | | | | Rollup merge of #110512 - compiler-errors:fix-elaboration-with-associated-typ... | Dylan DPC | 2023-05-02 | 4 | -73/+111 |
|\ \ \ \ |
|
| * | | | | Don't use implied trait predicates in gather_explicit_predicates_of | Michael Goulet | 2023-05-01 | 1 | -6/+11 |
| * | | | | Do not consider associated type bounds for super_predicates_that_define_assoc... | Michael Goulet | 2023-05-01 | 4 | -16/+68 |
| * | | | | Simplify type_parameter_bounds_in_generics | Michael Goulet | 2023-05-01 | 2 | -53/+34 |
* | | | | | Rollup merge of #108161 - WaffleLapkin:const_param_ty, r=BoxyUwU | Dylan DPC | 2023-05-02 | 3 | -107/+160 |
|\ \ \ \ \ |
|
| * | | | | | Add a `ConstParamTy` trait | Maybe Waffle | 2023-04-27 | 3 | -107/+160 |
| | |/ / /
| |/| | | |
|
* | | | | | Codegen fewer instructions in `mem::replace` | Scott McMurray | 2023-04-30 | 1 | -0/+1 |
| |/ / /
|/| | | |
|