| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-10-04 | Final bits | Jack Huey | -0/+1 |
| 2022-10-04 | Add AscribeUserTypeProvePredicate | Jack Huey | -1/+12 |
| 2022-10-04 | Add to_constraint_category to ObligationCause and SubregionOrigin | Jack Huey | -0/+10 |
| 2022-09-17 | Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnr | bors | -8/+5 |
| 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 |
| 2022-07-15 | provide `generic_param_scope` for region errors | lcnr | -2/+6 |
| 2022-07-14 | Fix overlapping impls | kadmin | -3/+8 |
| 2022-07-08 | Auto merge of #98614 - oli-obk:take_unsound_opaque_types, r=wesleywiser | bors | -0/+4 |
| 2022-07-07 | Move is_free and is_free_or_static to Region, change resolve_var to resolve_r... | Jack Huey | -4/+0 |
| 2022-07-06 | use `TraitEngineExt` to register obligations | lcnr | -4/+2 |
| 2022-07-05 | Relax constrained generics to TypeVisitable | Alan Egerton | -1/+2 |
| 2022-07-05 | Add #[derive(TypeVisitable)] | Alan Egerton | -1/+1 |
| 2022-07-04 | region obligations, remove `body_id` | lcnr | -3/+2 |
| 2022-07-04 | remove an unused `DefId` | lcnr | -9/+3 |
| 2022-06-30 | Make `evaluate_obligation` not succeed unconditionally if it registered new h... | Oli Scherer | -0/+4 |
| 2022-06-15 | implement (unused) matching solver | Niko Matsakis | -1/+1 |
| 2022-06-14 | implement valtrees as the type-system representation for constant values | b-naber | -3/+25 |
| 2022-06-14 | Rollup merge of #97935 - nnethercote:rename-ConstS-val-as-kind, r=lcnr | Dylan DPC | -2/+2 |
| 2022-06-14 | Rename the `ConstS::val` field as `kind`. | Nicholas Nethercote | -2/+2 |
