| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-04-10 | Report overflows gracefully with new solver | Michael Goulet | -2/+9 |
| 2023-03-23 | Rename AliasEq -> AliasRelate | Michael Goulet | -4/+4 |
| 2023-03-17 | Fast path that skips over unchanged obligations in process_obligations | The 8472 | -0/+23 |
| 2023-03-15 | always make `define_opaque_types` explicit | lcnr | -15/+15 |
| 2023-03-03 | Improve comments in `needs_process_obligation`. | Nicholas Nethercote | -24/+32 |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -1/+1 |
| 2023-02-17 | add predicate evaluation logic | Boxy | -2/+12 |
| 2023-02-17 | Add `Clause::ConstArgHasType` variant | Boxy | -0/+4 |
| 2023-02-10 | add `AliasEq` to `PredicateKind` | Boxy | -0/+6 |
| 2023-02-07 | Replacing bound vars is actually instantiating a binder | Michael Goulet | -1/+1 |
| 2023-01-28 | Rename `is_object_safe` to `check_is_object_safe` to hint side effects | Gary Guo | -1/+1 |
| 2023-01-27 | Compute generator saved locals on MIR. | Camille GILLOT | -0/+49 |
| 2023-01-27 | Separate trait selection from ambiguity reporting. | Camille GILLOT | -8/+1 |
| 2023-01-22 | Store relationships on Inherent | Santiago Pastorino | -19/+2 |
| 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 |
