| Age | Commit message (Expand) | Author | Lines |
| 2022-11-19 | drive-by: PolyExistentialPredicate | Michael Goulet | -1/+1 |
| 2022-11-17 | try_normalize_after_erasing_regions: promote an assertion to always run | Ralf Jung | -1/+3 |
| 2022-11-16 | Convert predicates into Predicate in the Obligation constructor | Oli Scherer | -3/+8 |
| 2022-11-13 | Make rustc build with new chalk | Michael Goulet | -3/+3 |
| 2022-11-13 | Bump chalk to v0.87 | Michael Goulet | -3/+3 |
| 2022-11-09 | make dropck_outlives into a proper canonicalized type query | Michael Goulet | -110/+97 |
| 2022-11-07 | Add an optional Span to BrAnon and use it to print better error for HRTB erro... | Jack Huey | -10/+12 |
| 2022-11-04 | Refactor tcx mk_const parameters. | Mateusz | -5/+5 |
| 2022-10-27 | remove _types from ocx method names | Michael Goulet | -3/+3 |
| 2022-10-27 | Address some more nits | Michael Goulet | -14/+3 |
| 2022-10-27 | (almost) Always use ObligationCtxt when dealing with canonical queries | Michael Goulet | -80/+56 |
| 2022-10-17 | rm `try_normalize_mir_const_after_erasing_regions` | lcnr | -3/+0 |
| 2022-10-07 | Change InferCtxtBuilder from enter to build | Cameron Steffen | -146/+135 |
| 2022-10-07 | Remove TypeckResults from InferCtxt | Cameron Steffen | -5/+5 |
| 2022-10-04 | It's not about types or consts, but the lack of regions | Oli Scherer | -1/+1 |
| 2022-09-26 | remove cfg(bootstrap) | Pietro Albini | -1/+0 |
| 2022-09-25 | Auto merge of #95474 - oli-obk:tait_ub, r=jackh726 | bors | -0/+3 |
| 2022-09-25 | Rollup merge of #102016 - lcnr:given-OutlivesEnvironment, r=jackh726 | Matthias Krüger | -33/+36 |
| 2022-09-21 | Neither require nor imply lifetime bounds on opaque type for well formedness | Oli Scherer | -0/+3 |
| 2022-09-19 | improve infer var handling for implied bounds | lcnr | -33/+36 |
| 2022-09-19 | remove the `Subst` trait, always use `EarlyBinder` | lcnr | -3/+3 |
| 2022-09-19 | Auto merge of #101924 - jackh726:revert-static-hrtb-error, r=compiler-errors | bors | -21/+32 |
| 2022-09-17 | Add back in normalize call | Jack Huey | -5/+10 |
| 2022-09-17 | Rollup merge of #93628 - est31:stabilize_let_else, r=joshtriplett | Dylan DPC | -1/+1 |
| 2022-09-16 | Final bits | Jack Huey | -17/+23 |
| 2022-09-16 | Revert "Better errors for implied static bound" | Jack Huey | -23/+17 |
| 2022-09-15 | Only enable the let_else feature on bootstrap | est31 | -1/+1 |
| 2022-09-14 | Auto merge of #101212 - eholk:dyn-star, r=compiler-errors | bors | -1/+2 |
| 2022-09-13 | Better errors for implied static bound | Jack Huey | -17/+23 |
| 2022-09-13 | Address code review comments | Eric Holk | -1/+2 |
| 2022-09-12 | Plumb dyn trait representation through ty::Dynamic | Eric Holk | -1/+1 |
| 2022-09-08 | Remove ReEmpty | Jack Huey | -6/+2 |
| 2022-08-31 | Fix a bunch of typo | Dezhi Wu | -1/+1 |
| 2022-08-29 | Various changes to logging of borrowck-related code | Jack Huey | -2/+3 |
| 2022-08-18 | Add diagnostic translation lints to crates that don't emit them | 5225225 | -0/+2 |
| 2022-08-04 | Rollup merge of #100095 - jackh726:early-binder, r=lcnr | Matthias Krüger | -15/+16 |
| 2022-08-03 | Rollup merge of #99746 - compiler-errors:more-trait-engine, r=jackh726 | Matthias Krüger | -3/+2 |
| 2022-08-02 | Add bound_predicates_of and bound_explicit_predicates_of | Jack Huey | -15/+16 |
| 2022-08-02 | Auto merge of #100032 - BoxyUwU:no_ty_in_placeholder_const, r=compiler-errors | bors | -1/+1 |
| 2022-08-01 | Remove DefId from AssocItemContainer. | Camille GILLOT | -5/+3 |
| 2022-08-01 | make `PlaceholderConst` not store the type of the const | Ellen | -1/+1 |
| 2022-07-28 | Rollup merge of #99714 - ouz-a:issue_57961, r=oli-obk | Dylan DPC | -7/+14 |
| 2022-07-27 | add tests and comment | ouz-a | -0/+4 |
| 2022-07-26 | Use TraitEngine in more places that don't specifically need FulfillmentCtxt::... | Michael Goulet | -3/+2 |
| 2022-07-25 | Bubble up obligations | ouz-a | -7/+10 |
| 2022-07-20 | Remove unused StableMap and StableSet types from rustc_data_structures | Michael Woerister | -1/+1 |
| 2022-07-06 | Update TypeVisitor paths | Alan Egerton | -4/+4 |
| 2022-07-05 | Relax constrained generics to TypeVisitable | Alan Egerton | -2/+3 |
| 2022-06-29 | Auto merge of #98558 - nnethercote:smallvec-1.8.1, r=lqd | bors | -1/+1 |
| 2022-06-28 | Make empty bounds lower to WellFormed and make WellFormed coinductive | Jack Huey | -5/+18 |