| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-05-27 | Auto merge of #125413 - lcnr:ambig-drop-region-constraints, r=compiler-errors | bors | -25/+39 |
| 2024-05-27 | Rollup merge of #125597 - compiler-errors:early-binder, r=jackh726 | Guillaume Gomez | -1/+1 |
| 2024-05-27 | Auto merge of #125410 - fmease:adj-lint-diag-api, r=nnethercote | bors | -47/+37 |
| 2024-05-27 | Auto merge of #125468 - BoxyUwU:remove_defid_from_regionparam, r=compiler-errors | bors | -0/+1 |
| 2024-05-26 | Give EarlyBinder a tcx parameter | Michael Goulet | -1/+1 |
| 2024-05-25 | Rollup merge of #124080 - oli-obk:define_opaque_types10, r=compiler-errors | Matthias Krüger | -3/+3 |
| 2024-05-25 | Rollup merge of #125510 - lcnr:change-proof-trees-to-be-shallow, r=compiler-e... | Matthias Krüger | -233/+94 |
| 2024-05-24 | drop region constraints for ambiguous goals | lcnr | -25/+39 |
| 2024-05-24 | remove proof tree formatter, make em shallow | lcnr | -233/+94 |
| 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 | -20/+8 |
| 2024-05-22 | Auto merge of #125335 - compiler-errors:binder, r=lcnr | bors | -3/+3 |
| 2024-05-22 | Auto merge of #125326 - weiznich:move/do_not_recommend_to_diganostic_namespac... | bors | -2/+8 |
| 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 | -2/+8 |
| 2024-05-21 | Auto merge of #125284 - compiler-errors:uplift-misc, r=lcnr | bors | -2/+2 |
| 2024-05-20 | track cycle participants per entry | lcnr | -50/+128 |
| 2024-05-20 | move global cache lookup into fn | lcnr | -42/+44 |
| 2024-05-20 | move fixpoint step into subfunction | lcnr | -53/+76 |
| 2024-05-20 | Rework var resolution in InferCtxtLike, uplift EagerResolver | Michael Goulet | -2/+2 |
| 2024-05-19 | Make EvalCtxt generic over interner | Michael Goulet | -121/+138 |
| 2024-05-19 | Make search graph generic over interner | Michael Goulet | -53/+63 |
| 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-19 | Auto merge of #125230 - compiler-errors:uplift-query-stuff, r=lcnr | bors | -181/+211 |
| 2024-05-18 | Auto merge of #125257 - jieyouxu:rollup-11evnm9, r=jieyouxu | bors | -1/+11 |
| 2024-05-18 | Move NormalizesTo back down | Michael Goulet | -5/+9 |
| 2024-05-18 | Stop using def_kind() in solver | Michael Goulet | -17/+8 |
| 2024-05-18 | Make proof tree building generic | Michael Goulet | -93/+109 |
| 2024-05-18 | Uplift inspect into rustc_type_ir | Michael Goulet | -62/+78 |
| 2024-05-18 | Uplift GenericArgKind, CanonicalVarValues, QueryInput | Michael Goulet | -19/+22 |
| 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 | -20/+8 |
| 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-17 | Rollup merge of #125191 - compiler-errors:wf, r=lcnr | Matthias Krüger | -20/+57 |
| 2024-05-16 | Report better WF obligation leaf obligations in new solver | Michael Goulet | -20/+57 |
| 2024-05-16 | Remove trivial Binder::dummy calls | Michael Goulet | -4/+4 |
| 2024-05-16 | Uplift Goal to rustc_type_ir | Michael Goulet | -10/+11 |
| 2024-05-16 | Make impls UpcastFrom, implement Upcast for UpcastFrom | Michael Goulet | -1/+1 |
