| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-05-04 | Record impl args in the proof tree | Michael Goulet | -2/+6 |
| 2024-05-04 | Implement do_not_recommend in the new solver | Michael Goulet | -0/+9 |
| 2024-05-04 | Only consider ambiguous goals when finding best obligation for ambiguities | Michael Goulet | -9/+11 |
| 2024-05-03 | Rollup merge of #124418 - compiler-errors:better-cause, r=lcnr | Michael Goulet | -40/+200 |
| 2024-05-03 | Do not ICE on foreign malformed `diagnostic::on_unimplemented` | Esteban Küber | -6/+8 |
| 2024-05-02 | Take ocx by move for pending obligations | Michael Goulet | -1/+8 |
| 2024-05-02 | Use ObligationCtxt in favor of TraitEngine in many places | Michael Goulet | -71/+99 |
| 2024-05-02 | Higher ranked goal source, do overflow handling less badly | Michael Goulet | -80/+87 |
| 2024-05-02 | Use a proof tree visitor to refine the Obligation for error reporting | Michael Goulet | -10/+147 |
| 2024-05-02 | Record more kinds of things as impl where bounds | Michael Goulet | -12/+13 |
| 2024-05-02 | Store goal source in InspectGoal | Michael Goulet | -12/+27 |
| 2024-05-02 | Record certainty before evaluating nesteds, so we make candidates | Michael Goulet | -2/+2 |
| 2024-05-02 | Rollup merge of #124624 - WaffleLapkin:old_unit, r=fmease | Matthias Krüger | -2/+2 |
| 2024-05-02 | Inline & delete `Ty::new_unit`, since it's just a field access | Waffle Lapkin | -2/+2 |
| 2024-05-02 | shallow resolve in orphan check | lcnr | -36/+43 |
| 2024-05-02 | Auto merge of #124521 - Mark-Simulacrum:bootstrap-bump, r=albertlarsan68 | bors | -1/+0 |
| 2024-05-01 | Step bootstrap cfgs | Mark Rousskov | -1/+0 |
| 2024-05-02 | Auto merge of #124529 - compiler-errors:select, r=lcnr | bors | -328/+156 |
| 2024-05-01 | Rewrite select to use a ProofTreeVisitor | Michael Goulet | -328/+156 |
| 2024-05-01 | Rollup merge of #124566 - lcnr:normalizes-to-proof-tree, r=compiler-errors | Matthias Krüger | -50/+120 |
| 2024-05-01 | review | lcnr | -13/+15 |
| 2024-05-01 | Auto merge of #124356 - fmease:fewer-magic-numbers-in-names, r=lcnr | bors | -6/+6 |
| 2024-04-30 | Auto merge of #117164 - fmease:orphan-norm, r=lcnr | bors | -67/+115 |
| 2024-04-30 | Give items related to issue 33140 a more meaningful name | León Orell Valerian Liehr | -6/+6 |
| 2024-04-30 | fix `NormalizesTo` proof tree issue | lcnr | -50/+118 |
| 2024-04-30 | Normalize trait ref before orphan check & consider ty params in alias types t... | León Orell Valerian Liehr | -67/+115 |
| 2024-04-30 | Rollup merge of #124511 - nnethercote:rm-extern-crates, r=fee1-dead | Matthias Krüger | -14/+25 |
| 2024-04-29 | Split out instantiate_nested_goals | Michael Goulet | -36/+43 |
| 2024-04-29 | Take proof trees by value in inspect goal | Michael Goulet | -15/+12 |
| 2024-04-29 | Only register candidate if it is associated w a shallow certainty | Michael Goulet | -38/+28 |
| 2024-04-29 | Actually use probes when needed and stop relying on existing outer probes | Michael Goulet | -329/+341 |
| 2024-04-29 | Make names more accurate | Michael Goulet | -15/+29 |
| 2024-04-29 | Remove `extern crate smallvec` from a couple of crates. | Nicholas Nethercote | -4/+2 |
| 2024-04-29 | Remove `extern crate rustc_data_structures` from numerous crates. | Nicholas Nethercote | -4/+1 |
| 2024-04-29 | Remove `extern crate rustc_macros` from numerous crates. | Nicholas Nethercote | -6/+22 |
| 2024-04-27 | Record certainty of evaluate_added_goals_and_make_canonical_response call in ... | Michael Goulet | -0/+40 |
| 2024-04-26 | Auto merge of #122385 - lcnr:analyze-obligations-for-infer, r=compiler-errors | bors | -238/+421 |
| 2024-04-25 | Rollup merge of #124381 - compiler-errors:derived-for-wf, r=lcnr | Michael Goulet | -4/+4 |
| 2024-04-25 | Rollup merge of #124379 - compiler-errors:remove-new-solver-lookup-behavior, ... | Michael Goulet | -7/+9 |
| 2024-04-25 | Renamed DerivedObligation to WellFormedDeriveObligation | Michael Goulet | -4/+4 |
| 2024-04-25 | use `EagerResolver` | lcnr | -1/+3 |
| 2024-04-25 | hir typeck: look into nested goals | lcnr | -237/+418 |
| 2024-04-25 | Remove special-casing for SimplifiedType for next solver | Michael Goulet | -7/+9 |
| 2024-04-24 | Suggest cloning captured binding in `move` closure | Esteban Küber | -1/+10 |
| 2024-04-24 | Modify `find_expr` from `Span` to better account for closures | Esteban Küber | -6/+13 |
| 2024-04-23 | Rollup merge of #124218 - Xiretza:subsubdiagnostics, r=davidtwco | León Orell Valerian Liehr | -1/+1 |
| 2024-04-23 | Rollup merge of #120929 - long-long-float:wrap-dyn-in-suggestion, r=fmease | León Orell Valerian Liehr | -8/+19 |
| 2024-04-23 | Rollup merge of #124168 - oli-obk:define_opaque_types12, r=lcnr | Matthias Krüger | -1/+1 |
| 2024-04-23 | Auto merge of #121801 - zetanumbers:async_drop_glue, r=oli-obk | bors | -1/+117 |
| 2024-04-22 | Rollup merge of #124183 - compiler-errors:unnecessary-by-ref, r=oli-obk | Guillaume Gomez | -6/+6 |
