| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-11-28 | Rollup merge of #104907 - compiler-errors:selcx-infcx, r=oli-obk | Dylan DPC | -16/+15 |
| 2022-11-25 | Remove SelectionContext::infcx() in favor of field access | Michael Goulet | -16/+15 |
| 2022-11-25 | Auto merge of #99798 - JulianKnodt:ac1, r=BoxyUwU | bors | -7/+36 |
| 2022-11-25 | Make `expand_abstract_consts` infallible | Boxy | -4/+2 |
| 2022-11-25 | handle assoc consts in fulfill `ConstEquate` | Boxy | -23/+27 |
| 2022-11-25 | handle nested obligations in `satisfied_from_param_env` | Boxy | -11/+13 |
| 2022-11-25 | Add expand_abstract_const | kadmin | -9/+5 |
| 2022-11-25 | Add empty ConstKind::Abstract | kadmin | -6/+35 |
| 2022-11-25 | Introduce PredicateKind::Clause | Santiago Pastorino | -8/+11 |
| 2022-11-24 | Remove normalize_projection_type | Santiago Pastorino | -39/+3 |
| 2022-11-21 | Add an always-ambiguous predicate to make sure that we don't accidentlally al... | Oli Scherer | -0/+2 |
| 2022-11-17 | Rollup merge of #104483 - oli-obk:santa-clauses-make-goals, r=compiler-errors | Matthias Krüger | -10/+7 |
| 2022-11-16 | Convert predicates into Predicate in the Obligation constructor | Oli Scherer | -10/+7 |
| 2022-11-16 | cleanup and dedupe CTFE and Miri error reporting | Ralf Jung | -6/+0 |
| 2022-11-10 | Use TraitEngine in more places, make FulfillmentCtxt constructor more private | Michael Goulet | -2/+2 |
| 2022-10-18 | change `ConstEvaluatable` to use `ty::Const` | lcnr | -3/+1 |
| 2022-10-17 | Rollup merge of #102945 - compiler-errors:placeholder-region-outlives, r=lcnr | Matthias Krüger | -1/+1 |
| 2022-10-17 | Rollup merge of #102466 - lcnr:const-equate-uwu, r=BoxyUwU | Matthias Krüger | -12/+13 |
| 2022-10-12 | Do not register placeholder region outlives when considering_regions is false | Michael Goulet | -1/+1 |
| 2022-10-07 | Remove TypeckResults from InferCtxt | Cameron Steffen | -7/+4 |
| 2022-10-04 | It's not about types or consts, but the lack of regions | Oli Scherer | -4/+4 |
| 2022-09-29 | only allow `ConstEquate` with `feature(gce)` | lcnr | -12/+13 |
| 2022-09-27 | Tweak `FulfillProcessor`. | Nicholas Nethercote | -12/+12 |
| 2022-09-22 | Rollup merge of #102037 - jyn514:normalize-docs, r=lcnr | Dylan DPC | -4/+6 |
| 2022-09-19 | Make cycle errors recoverable | Joshua Nelson | -4/+5 |
| 2022-09-19 | Make `OUT` an associated type instead of a generic parameter | Joshua Nelson | -0/+1 |
| 2022-09-17 | Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnr | bors | -5/+1 |
| 2022-09-15 | Don't throw away information just to recompute it again | Oli Scherer | -14/+10 |
| 2022-09-13 | use ty::Unevaluated<'tcx, ()> in type system | b-naber | -5/+1 |
| 2022-09-01 | Directly use the `instrument` macro instead of its full path | Oli Scherer | -1/+1 |
| 2022-07-29 | never inline the only thing that calls a query, which could hit the instrumen... | Oli Scherer | -0/+1 |
| 2022-07-21 | `region_outlives_predicate` no snapshot | lcnr | -8/+3 |
| 2022-07-21 | move `considering_regions` to the infcx | lcnr | -38/+13 |
| 2022-07-18 | Check generators for well formedness | Oli Scherer | -3/+2 |
| 2022-07-15 | remove tcx from ObligationCauseCode::span | Michael Goulet | -1/+1 |
| 2022-07-12 | Move abstract const to rustc_middle::ty | kadmin | -1/+1 |
| 2022-07-06 | Auto merge of #98206 - eggyal:align-to-chalk-folding-api, r=jackh726 | bors | -1/+1 |
| 2022-07-06 | Update TypeVisitor paths | Alan Egerton | -1/+1 |
| 2022-07-05 | refactor: remove a redundant mutable variable | Takayuki Maeda | -4/+3 |
| 2022-06-20 | Auto merge of #97674 - nnethercote:oblig-forest-tweaks, r=nikomatsakis | bors | -60/+38 |
| 2022-06-14 | rebase | b-naber | -1/+1 |
| 2022-06-14 | implement valtrees as the type-system representation for constant values | b-naber | -13/+15 |
| 2022-06-14 | Rename the `ConstS::val` field as `kind`. | Nicholas Nethercote | -2/+2 |
| 2022-06-06 | Split `process_obligation` in two. | Nicholas Nethercote | -41/+30 |
| 2022-06-06 | Handle stalling within `ObligationForest`. | Nicholas Nethercote | -19/+8 |
| 2022-03-31 | Rollup merge of #95497 - nyurik:compiler-spell-comments, r=compiler-errors | Dylan DPC | -1/+1 |
| 2022-03-30 | Add the generic_associated_types_extended feature | Jack Huey | -5/+7 |
| 2022-03-30 | Spellchecking compiler comments | Yuri Astrakhan | -1/+1 |
| 2022-03-25 | Rollup merge of #95179 - b-naber:eval-in-try-unify, r=lcnr | Dylan DPC | -1/+5 |
| 2022-03-22 | fix previous failures and address review | b-naber | -1/+5 |
