| 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-02 | Use ObligationCtxt in favor of TraitEngine in many places | Michael Goulet | -10/+8 |
| 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 | shallow resolve in orphan check | lcnr | -8/+16 |
| 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 | review | lcnr | -13/+15 |
| 2024-04-30 | fix `NormalizesTo` proof tree issue | lcnr | -50/+118 |
| 2024-04-30 | Rollup merge of #124511 - nnethercote:rm-extern-crates, r=fee1-dead | Matthias Krüger | -0/+5 |
| 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 | -326/+339 |
| 2024-04-29 | Make names more accurate | Michael Goulet | -15/+29 |
| 2024-04-29 | Remove `extern crate rustc_macros` from numerous crates. | Nicholas Nethercote | -0/+5 |
| 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 | -235/+414 |
| 2024-04-25 | use `EagerResolver` | lcnr | -1/+3 |
| 2024-04-25 | hir typeck: look into nested goals | lcnr | -234/+411 |
| 2024-04-25 | Remove special-casing for SimplifiedType for next solver | Michael Goulet | -7/+9 |
| 2024-04-23 | Auto merge of #121801 - zetanumbers:async_drop_glue, r=oli-obk | bors | -0/+72 |
| 2024-04-22 | Fix copy-paste typo in the comment within consider_builtin_async_destruct_can... | Daria Sukhonina | -2/+2 |
| 2024-04-22 | Exhaustivelly match TyKind in consider_builtin_async_destruct_candidate | Daria Sukhonina | -1/+1 |
| 2024-04-17 | Use non-exhaustive matches for TyKind | Daria Sukhonina | -6/+6 |
| 2024-04-16 | Auto merge of #123537 - compiler-errors:shallow, r=lcnr | bors | -1/+1 |
| 2024-04-16 | Add simple async drop glue generation | zetanumbers | -0/+72 |
| 2024-04-15 | Simplify shallow resolver to just fold ty/consts | Michael Goulet | -1/+1 |
| 2024-04-15 | Remove ConstVariableOriginKind | Michael Goulet | -10/+4 |
| 2024-04-15 | Remove TypeVariableOriginKind | Michael Goulet | -10/+5 |
| 2024-04-09 | Rollup merge of #123662 - compiler-errors:no-upvars-yet, r=oli-obk | Guillaume Gomez | -2/+11 |
| 2024-04-08 | Don't rely on upvars being assigned just because coroutine-closure kind is as... | Michael Goulet | -2/+11 |
| 2024-04-08 | Auto merge of #122077 - oli-obk:eager_opaque_checks4, r=lcnr | bors | -9/+5 |
| 2024-04-08 | Avoid fetching the opaque type origin when only "is this in the defining scop... | Oli Scherer | -7/+4 |
| 2024-04-08 | Eliminate `DefiningAnchor` now that is just a single-variant enum | Oli Scherer | -1/+1 |
| 2024-04-08 | Pass list of defineable opaque types into canonical queries | Oli Scherer | -2/+1 |
| 2024-04-08 | Actually create ranged int types in the type system. | Oli Scherer | -1/+16 |
| 2024-04-04 | Rollup merge of #123477 - lcnr:forced_ambig-no-ice, r=compiler-errors | Jacob Pratt | -3/+10 |
| 2024-04-04 | Rollup merge of #123464 - fmease:rn-has-proj-to-has-aliases, r=compiler-errors | Jacob Pratt | -2/+2 |
| 2024-04-04 | Rollup merge of #123363 - lcnr:normalizes-to-zero-to-inf, r=BoxyUwU | Jacob Pratt | -257/+138 |
| 2024-04-05 | do not ICE in forced ambiguity if we get an error | lcnr | -3/+10 |
| 2024-04-04 | Rename HAS_PROJECTIONS to HAS_ALIASES etc. | León Orell Valerian Liehr | -2/+2 |
| 2024-04-04 | normalizes-to change from '1' to '0 to inf' steps | lcnr | -237/+136 |
| 2024-04-04 | Use `DefineOpaqueTypes::Yes` where the new solver is unconditionally used alr... | Oli Scherer | -8/+16 |
