| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -1/+1 |
| 2024-05-28 | Make ProofTreeBuilder actually generic over interner | Michael Goulet | -59/+53 |
| 2024-05-28 | refactor analyse visitor to instantiate states in order | lcnr | -45/+41 |
| 2024-05-24 | remove proof tree formatter, make em shallow | lcnr | -167/+72 |
| 2024-05-20 | Rework var resolution in InferCtxtLike, uplift EagerResolver | Michael Goulet | -1/+1 |
| 2024-05-18 | Make proof tree building generic | Michael Goulet | -88/+102 |
| 2024-05-18 | Uplift inspect into rustc_type_ir | Michael Goulet | -24/+25 |
| 2024-05-13 | Use a proper probe for shadowing impl | Michael Goulet | -10/+24 |
| 2024-05-13 | Remove `extern crate rustc_middle` from `rustc_trait_selection`. | Nicholas Nethercote | -0/+1 |
| 2024-05-10 | Rollup merge of #124955 - nnethercote:next_ty_var, r=lcnr | Matthias Krüger | -11/+2 |
| 2024-05-10 | Use fewer origins when creating type variables. | Nicholas Nethercote | -11/+2 |
| 2024-05-09 | analyse visitor: build proof tree in probe | lcnr | -11/+33 |
| 2024-05-07 | Rollup merge of #124827 - lcnr:generalize-incomplete, r=compiler-errors | Matthias Krüger | -1/+4 |
| 2024-05-07 | generalize hr alias: avoid unconstrainable infer vars | lcnr | -1/+4 |
| 2024-05-06 | Record impl args in the InsepctCandiate rather than rematching during select | Michael Goulet | -6/+66 |
| 2024-05-03 | Rollup merge of #124418 - compiler-errors:better-cause, r=lcnr | Michael Goulet | -16/+37 |
| 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 | -4/+10 |
| 2024-05-02 | Store goal source in InspectGoal | Michael Goulet | -12/+27 |
| 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/+1 |
| 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 | -34/+21 |
| 2024-04-29 | Actually use probes when needed and stop relying on existing outer probes | Michael Goulet | -3/+3 |
| 2024-04-29 | Remove `extern crate rustc_macros` from numerous crates. | Nicholas Nethercote | -0/+1 |
| 2024-04-27 | Record certainty of evaluate_added_goals_and_make_canonical_response call in ... | Michael Goulet | -0/+38 |
| 2024-04-25 | use `EagerResolver` | lcnr | -1/+3 |
| 2024-04-25 | hir typeck: look into nested goals | lcnr | -156/+286 |
| 2024-04-04 | normalizes-to change from '1' to '0 to inf' steps | lcnr | -33/+4 |
| 2024-03-18 | cleanup + review | lcnr | -8/+4 |
| 2024-03-18 | `NormalizesTo` return nested goals | lcnr | -1/+13 |
| 2024-03-18 | move `normalizes_to_hack` to `AliasRelate` | lcnr | -0/+11 |
| 2024-03-05 | Convert `ProofTreeVisitor` to use `VisitorResult` | Jason Newcomb | -24/+23 |
| 2024-02-26 | always emit `AliasRelate` goals when relating aliases | lcnr | -25/+2 |
| 2024-02-17 | Rollup merge of #121193 - compiler-errors:coherence-fulfillment, r=lcnr | Matthias Krüger | -3/+5 |
| 2024-02-16 | Use fulfillment in next trait solver coherence | Michael Goulet | -3/+5 |
| 2024-02-16 | Move trait into attr so it's greppable | Michael Goulet | -2/+2 |
| 2024-02-16 | Use extension trait derive | Michael Goulet | -9/+2 |
| 2024-01-09 | readd the provisional cache | lcnr | -1/+7 |
| 2023-12-18 | track the source of nested goals | lcnr | -6/+12 |
| 2023-12-14 | rename `-Ztrait-solver` to `-Znext-solver` | lcnr | -1/+1 |
| 2023-11-21 | Fix `clippy::needless_borrow` in the compiler | Nilstrieb | -1/+1 |
| 2023-11-17 | Auto merge of #117278 - lcnr:try-normalize-ty, r=compiler-errors | bors | -2/+32 |
| 2023-11-13 | Fix overflow and cycle bound for ProofTreeVisitor. | Gavin Gray | -1/+1 |
| 2023-11-09 | `try_normalize_ty` end with rigid alias on failure | lcnr | -2/+32 |
| 2023-11-02 | use global cache when computing proof trees | lcnr | -67/+66 |
| 2023-09-21 | w | lcnr | -1/+1 |
| 2023-09-21 | slight refactor, add comment | lcnr | -11/+20 |
