| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-05-25 | Rollup merge of #125510 - lcnr:change-proof-trees-to-be-shallow, r=compiler-e... | Matthias Krüger | -33/+2 |
| 2024-05-24 | remove proof tree formatter, make em shallow | lcnr | -33/+2 |
| 2024-05-24 | Remove `DefId` from `EarlyParamRegion` (tedium/diagnostics) | Boxy | -0/+1 |
| 2024-05-24 | Use regular type equating instead of a custom query | Oli Scherer | -21/+1 |
| 2024-05-23 | Support constraining opaque types while trait upcasting with binders | Oli Scherer | -1/+1 |
| 2024-05-23 | Allow defining opaque types during trait object upcasting. | Oli Scherer | -1/+1 |
| 2024-05-23 | When checking whether an impl applies, constrain hidden types of opaque types. | Oli Scherer | -1/+1 |
| 2024-05-23 | Remove `LintDiagnostic::msg` | León Orell Valerian Liehr | -47/+37 |
| 2024-05-22 | Rollup merge of #125259 - compiler-errors:fn-mut-as-a-treat, r=oli-obk | León Orell Valerian Liehr | -12/+3 |
| 2024-05-22 | Auto merge of #125335 - compiler-errors:binder, r=lcnr | bors | -3/+3 |
| 2024-05-21 | Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from... | Michael Goulet | -2/+1 |
| 2024-05-21 | Uplift binder | Michael Goulet | -1/+2 |
| 2024-05-21 | Okay actually check only alias TYPES | Michael Goulet | -9/+3 |
| 2024-05-21 | Move `#[do_not_recommend]` to the `#[diagnostic]` namespace | Georg Semmler | -1/+4 |
| 2024-05-19 | Auto merge of #125006 - spastorino:generics-is-empty, r=compiler-errors | bors | -3/+3 |
| 2024-05-19 | Add and use generics.is_empty() and generics.is_own_empty, rather than using ... | Santiago Pastorino | -3/+3 |
| 2024-05-19 | Actually use the `#[do_not_recommend]` attribute if present | Georg Semmler | -0/+26 |
| 2024-05-18 | Auto merge of #125257 - jieyouxu:rollup-11evnm9, r=jieyouxu | bors | -1/+11 |
| 2024-05-18 | Rollup merge of #125214 - compiler-errors:gat-guide, r=lcnr | 许杰友 Jieyou Xu (Joe) | -1/+11 |
| 2024-05-18 | Auto merge of #125077 - spastorino:add-new-fnsafety-enum2, r=jackh726 | bors | -7/+7 |
| 2024-05-18 | An async closure may implement FnMut/Fn if it has no self-borrows | Michael Goulet | -12/+3 |
| 2024-05-17 | Rename Unsafe to Safety | Santiago Pastorino | -7/+7 |
| 2024-05-17 | to_opt_poly_X_pred -> as_X_clause | Michael Goulet | -13/+13 |
| 2024-05-17 | Only make GAT ambiguous in match_projection_projections considering shallow r... | Michael Goulet | -1/+11 |
| 2024-05-16 | Remove trivial Binder::dummy calls | Michael Goulet | -3/+3 |
| 2024-05-16 | Uplift Goal to rustc_type_ir | Michael Goulet | -5/+5 |
| 2024-05-16 | Make P parameter explicit | Michael Goulet | -9/+7 |
| 2024-05-16 | Rename ToPredicate for Upcast | Michael Goulet | -42/+42 |
| 2024-05-13 | Auto merge of #125076 - compiler-errors:alias-term, r=lcnr | bors | -142/+148 |
| 2024-05-13 | Apply nits | Michael Goulet | -28/+4 |
| 2024-05-13 | split out AliasTy -> AliasTerm | Michael Goulet | -140/+170 |
| 2024-05-13 | Remove `extern crate rustc_middle` from `rustc_trait_selection`. | Nicholas Nethercote | -0/+19 |
| 2024-05-11 | Apply nits, uplift ExistentialPredicate too | Michael Goulet | -1/+2 |
| 2024-05-11 | Uplift `TraitPredicate` | Michael Goulet | -2/+5 |
| 2024-05-11 | Consolidate obligation cause codes for where clauses | Michael Goulet | -49/+35 |
| 2024-05-10 | Auto merge of #124982 - compiler-errors:uplift-trait-ref, r=lcnr | bors | -38/+63 |
| 2024-05-10 | Lift `TraitRef` into `rustc_type_ir` | Michael Goulet | -37/+60 |
| 2024-05-10 | Lift `Lift` | Michael Goulet | -1/+3 |
| 2024-05-10 | Name tweaks | Michael Goulet | -32/+34 |
| 2024-05-10 | More rename fallout | Michael Goulet | -29/+29 |
| 2024-05-10 | Rename some ObligationCauseCode variants | Michael Goulet | -92/+76 |
| 2024-05-10 | Remove glob imports for ObligationCauseCode | Michael Goulet | -44/+48 |
| 2024-05-10 | rename some variants in FulfillmentErrorCode | Michael Goulet | -31/+22 |
| 2024-05-10 | Auto merge of #124961 - matthiaskrgr:rollup-1jj65p6, r=matthiaskrgr | bors | -34/+13 |
| 2024-05-10 | Rollup merge of #124955 - nnethercote:next_ty_var, r=lcnr | Matthias Krüger | -22/+7 |
| 2024-05-10 | Rollup merge of #124943 - lcnr:generic-args-ref, r=compiler-errors | Matthias Krüger | -2/+2 |
| 2024-05-10 | Rollup merge of #124918 - nnethercote:FIXME-lcnr, r=lcnr | Matthias Krüger | -10/+4 |
| 2024-05-09 | Rename Generics::params to Generics::own_params | Michael Goulet | -8/+8 |
| 2024-05-10 | De-tuple two `vtable_trait_first_method_offset` args. | Nicholas Nethercote | -8/+4 |
| 2024-05-10 | Remove out-of-date comment. | Nicholas Nethercote | -2/+0 |
