| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-10-27 | Revert "Make ClosureOutlivesRequirement not rely on an unresolved type" | Michael Goulet | -1/+1 |
| 2022-10-24 | Assert if inference vars are leaking from fully_resolve | Michael Goulet | -1/+6 |
| 2022-10-19 | Make ClosureOutlivesRequirement not rely on an unresolved type | Michael Goulet | -1/+1 |
| 2022-10-14 | more dupe word typos | Rageking8 | -2/+2 |
| 2022-10-13 | fix small word dupe typos | Rageking8 | -1/+1 |
| 2022-10-07 | Change InferCtxtBuilder from enter to build | Cameron Steffen | -11/+8 |
| 2022-10-07 | Remove TypeckResults from InferCtxt | Cameron Steffen | -55/+25 |
| 2022-10-07 | Introduce TypeErrCtxt | Cameron Steffen | -79/+87 |
| 2022-10-04 | It's not about types or consts, but the lack of regions | Oli Scherer | -11/+7 |
| 2022-09-27 | rustc_typeck to rustc_hir_analysis | lcnr | -1/+1 |
| 2022-09-24 | separate definitions and `HIR` owners | Takayuki Maeda | -2/+3 |
| 2022-09-23 | rename Unevaluated to UnevaluatedConst | b-naber | -5/+5 |
| 2022-09-22 | introduce mir::Unevaluated | b-naber | -6/+5 |
| 2022-09-19 | Auto merge of #101924 - jackh726:revert-static-hrtb-error, r=compiler-errors | bors | -1/+23 |
| 2022-09-17 | Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnr | bors | -8/+5 |
| 2022-09-16 | Final bits | Jack Huey | -0/+1 |
| 2022-09-16 | Add AscribeUserTypeProvePredicate | Jack Huey | -1/+12 |
| 2022-09-16 | Add to_constraint_category to ObligationCause and SubregionOrigin | Jack Huey | -0/+10 |
| 2022-09-16 | Auto merge of #101902 - jackh726:revert-static-hrtb-error, r=nikomatsakis | bors | -23/+1 |
| 2022-09-16 | Revert "Better errors for implied static bound" | Jack Huey | -23/+1 |
| 2022-09-15 | Don't throw away information just to recompute it again | Oli Scherer | -6/+6 |
| 2022-09-13 | Better errors for implied static bound | Jack Huey | -1/+23 |
| 2022-09-13 | rebase | b-naber | -1/+1 |
| 2022-09-13 | use ty::Unevaluated<'tcx, ()> in type system | b-naber | -7/+4 |
| 2022-09-05 | Pack `Term` in the same way as `GenericArg`. | Nicholas Nethercote | -5/+4 |
| 2022-08-31 | Fix a bunch of typo | Dezhi Wu | -1/+1 |
| 2022-08-30 | Rollup merge of #100473 - compiler-errors:normalize-the-fn-def-sig-plz, r=lcnr | Dylan DPC | -0/+18 |
| 2022-08-29 | Various changes to logging of borrowck-related code | Jack Huey | -11/+1 |
| 2022-08-25 | Attempt to normalize FnDef signature in InferCtxt::cmp | Michael Goulet | -0/+18 |
| 2022-08-22 | InferCtxt emit error when incorrectly tainted by errors | yukang | -8/+10 |
| 2022-08-16 | Fix error message with non-tupled bare fn trait | Michael Goulet | -0/+12 |
| 2022-08-14 | TypeError can be Copy | Michael Goulet | -4/+2 |
| 2022-08-03 | Auto merge of #99509 - lcnr:commit_unconditionally, r=jackh726 | bors | -12/+0 |
| 2022-08-02 | Auto merge of #100032 - BoxyUwU:no_ty_in_placeholder_const, r=compiler-errors | bors | -1/+1 |
| 2022-08-02 | Rollup merge of #99156 - lcnr:omoe-wa, r=wesleywiser | Matthias Krüger | -4/+2 |
| 2022-08-01 | make `PlaceholderConst` not store the type of the const | Ellen | -1/+1 |
| 2022-07-30 | Auto merge of #99796 - compiler-errors:issue-53475, r=oli-obk | bors | -0/+4 |
| 2022-07-29 | Document check_region_obligations_and_report_errors, simplify a call to resol... | Michael Goulet | -0/+4 |
| 2022-07-28 | `BoundVarReplacer`: trait object instead of 3 fns | lcnr | -25/+50 |
| 2022-07-26 | Rollup merge of #99748 - compiler-errors:better-impl-trait-printing, r=fee1-dead | Dylan DPC | -2/+2 |
| 2022-07-26 | Rollup merge of #99618 - compiler-errors:uhh-idk, r=lcnr | Dylan DPC | -6/+55 |
| 2022-07-26 | Address nits, move substs replacement to separate function | Michael Goulet | -27/+41 |
| 2022-07-26 | Use real opaque type instead of just saying impl Trait | Michael Goulet | -2/+2 |
| 2022-07-25 | handle consts with param/infer in const_eval_resolve better | Michael Goulet | -6/+41 |
| 2022-07-24 | Combine redundant obligation cause codes | Michael Goulet | -22/+5 |
| 2022-07-21 | `region_outlives_predicate` no snapshot | lcnr | -10/+5 |
| 2022-07-21 | move `considering_regions` to the infcx | lcnr | -2/+20 |
| 2022-07-20 | remove `commit_unconditionally` | lcnr | -12/+0 |
| 2022-07-20 | take opaq types | ouz-a | -7/+25 |
| 2022-07-19 | Use LocalDefId in OpaqueTypeKey | Michael Goulet | -1/+1 |
