| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-11-13 | update type flags | lcnr | -1/+1 |
| 2023-11-13 | continue renaming | lcnr | -2/+2 |
| 2023-11-13 | rename `ReLateBound` to `ReBound` | lcnr | -4/+4 |
| 2023-11-13 | args~~_ref~~_may_unify | lcnr | -4/+2 |
| 2023-11-09 | remove stability assert in `evaluate_goal` | lcnr | -98/+8 |
| 2023-11-09 | update overflow handling for norm, add test | lcnr | -2/+2 |
| 2023-11-09 | rework alias-relate to `norm(lhs) == norm(rhs)` | lcnr | -165/+140 |
| 2023-11-09 | only instantiate opaques with rigid types | lcnr | -17/+22 |
| 2023-11-09 | `try_normalize_ty` end with rigid alias on failure | lcnr | -30/+136 |
| 2023-11-08 | instrument constituent types computation | lcnr | -0/+3 |
| 2023-11-02 | Rollup merge of #117394 - lcnr:proof-tree-cache4, r=compiler-errors | Matthias Krüger | -97/+94 |
| 2023-11-02 | use global cache when computing proof trees | lcnr | -97/+94 |
| 2023-10-30 | Some more coroutine renamings | Michael Goulet | -1/+1 |
| 2023-10-29 | Auto merge of #116447 - oli-obk:gen_fn, r=compiler-errors | bors | -4/+69 |
| 2023-10-27 | Make `gen` blocks implement the `Iterator` trait | Oli Scherer | -4/+69 |
| 2023-10-26 | Auto merge of #112875 - compiler-errors:negative-coherence-rework, r=lcnr | bors | -8/+29 |
| 2023-10-23 | Make things work by using the new solver | Michael Goulet | -0/+10 |
| 2023-10-23 | Remove FnPtr hack from trait_ref_is_knowable | Michael Goulet | -8/+19 |
| 2023-10-23 | Handle ReErased in responses in new solver | Michael Goulet | -2/+10 |
| 2023-10-20 | s/generator/coroutine/ | Oli Scherer | -36/+36 |
| 2023-10-20 | s/Generator/Coroutine/ | Oli Scherer | -33/+33 |
| 2023-10-18 | AliasTy::new instead of tcx method | lcnr | -7/+12 |
| 2023-10-13 | explicitly handle auto trait leakage in coherence | lcnr | -2/+3 |
| 2023-10-10 | reorder files in solve | lcnr | -4/+5 |
| 2023-09-29 | a small wf and clause cleanup | lcnr | -5/+4 |
| 2023-09-29 | Auto merge of #115843 - lcnr:bb-provisional-cache, r=compiler-errors | bors | -186/+64 |
| 2023-09-26 | Don't store lazyness in DefKind | Michael Goulet | -1/+1 |
| 2023-09-24 | Remove span from BrAnon. | Camille GILLOT | -4/+3 |
| 2023-09-23 | Remove GeneratorWitness and rename GeneratorWitnessMIR. | Camille GILLOT | -20/+8 |
| 2023-09-21 | Move `DepKind` to `rustc_query_system` and define it as `u16` | John Kåre Alsaker | -2/+2 |
| 2023-09-21 | w | lcnr | -1/+1 |
| 2023-09-21 | slight refactor, add comment | lcnr | -11/+20 |
| 2023-09-21 | proof trees: use for `intercrate_ambiguity_causes` | lcnr | -120/+459 |
| 2023-09-20 | remove `impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for PolyProjectionPredicat... | Ziru Niu | -4/+6 |
| 2023-09-18 | Auto merge of #115748 - RalfJung:post-mono, r=oli-obk | bors | -2/+4 |
| 2023-09-18 | remove provisional cache | lcnr | -186/+64 |
| 2023-09-18 | Rollup merge of #115838 - lcnr:added-goals, r=compiler-errors | Matthias Krüger | -68/+117 |
| 2023-09-15 | Canonicalize effect vars in new solver | Michael Goulet | -2/+21 |
| 2023-09-14 | move required_consts check to general post-mono-check function | Ralf Jung | -2/+4 |
| 2023-09-14 | differentiate root and nested goals | lcnr | -25/+57 |
| 2023-09-14 | inspect: explicitly store added goals | lcnr | -1/+19 |
| 2023-09-14 | order `added_goals_evaluation` and `nested_probes` | lcnr | -24/+25 |
| 2023-09-14 | `GoalCandidate` to `Probe` | lcnr | -29/+27 |
| 2023-09-14 | Auto merge of #115751 - lcnr:inspect-cleanup, r=compiler-errors | bors | -205/+200 |
| 2023-09-11 | Rollup merge of #115727 - fee1-dead-contrib:effect-fallback, r=oli-obk | Matthias Krüger | -0/+3 |
| 2023-09-11 | dedup `GoalEvaluationStep` and `GoalCandidate` | lcnr | -42/+56 |
| 2023-09-11 | inspect: strongly typed CandidateKind | lcnr | -103/+66 |
| 2023-09-11 | inspect: handle `None` in `nested` | lcnr | -27/+7 |
| 2023-09-11 | split GoalEvaluation and CanonicalGoalEvaluation | lcnr | -60/+98 |
| 2023-09-10 | Implement fallback for effect param | Deadbeef | -0/+3 |
