| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-05-13 | split out AliasTy -> AliasTerm | Michael Goulet | -5/+5 |
| 2024-05-12 | structurally important functions to `debug` | lcnr | -3/+4 |
| 2024-05-12 | solve: replace all `debug` with `trace` | lcnr | -21/+21 |
| 2024-05-10 | Rollup merge of #124955 - nnethercote:next_ty_var, r=lcnr | Matthias Krüger | -14/+4 |
| 2024-05-10 | Use fewer origins when creating type variables. | Nicholas Nethercote | -14/+4 |
| 2024-05-09 | analyse visitor: build proof tree in probe | lcnr | -0/+1 |
| 2024-05-07 | Don't ICE when we cannot eval a const to a valtree in the new solver | Michael Goulet | -3/+3 |
| 2024-05-06 | Rollup merge of #124809 - lcnr:prepopulate-opaques, r=compiler-errors | Matthias Krüger | -9/+6 |
| 2024-05-06 | Rollup merge of #124759 - compiler-errors:impl-args, r=lcnr | Matthias Krüger | -59/+26 |
| 2024-05-06 | Use correct ImplSource for alias bounds | Michael Goulet | -2/+1 |
| 2024-05-06 | Record impl args in the InsepctCandiate rather than rematching during select | Michael Goulet | -59/+27 |
| 2024-05-06 | Rollup merge of #124724 - compiler-errors:prefer-lower, r=lcnr | Matthias Krüger | -5/+13 |
| 2024-05-06 | switch new solver to directly inject opaque types | lcnr | -9/+6 |
| 2024-05-06 | Prefer lower vtable candidates in select in new solver | Michael Goulet | -5/+13 |
| 2024-05-04 | Record impl args in the proof tree | Michael Goulet | -2/+6 |
| 2024-05-02 | Higher ranked goal source, do overflow handling less badly | Michael Goulet | -1/+1 |
| 2024-05-02 | Use a proof tree visitor to refine the Obligation for error reporting | Michael Goulet | -1/+1 |
| 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 | -0/+12 |
| 2024-05-01 | Rewrite select to use a ProofTreeVisitor | Michael Goulet | -328/+156 |
| 2024-04-30 | Rollup merge of #124511 - nnethercote:rm-extern-crates, r=fee1-dead | Matthias Krüger | -0/+2 |
| 2024-04-29 | Only register candidate if it is associated w a shallow certainty | Michael Goulet | -4/+7 |
| 2024-04-29 | Actually use probes when needed and stop relying on existing outer probes | Michael Goulet | -30/+23 |
| 2024-04-29 | Remove `extern crate rustc_macros` from numerous crates. | Nicholas Nethercote | -0/+2 |
| 2024-04-27 | Record certainty of evaluate_added_goals_and_make_canonical_response call in ... | Michael Goulet | -0/+2 |
| 2024-04-25 | hir typeck: look into nested goals | lcnr | -55/+110 |
| 2024-04-15 | Remove ConstVariableOriginKind | Michael Goulet | -5/+2 |
| 2024-04-15 | Remove TypeVariableOriginKind | Michael Goulet | -5/+2 |
| 2024-04-08 | Avoid fetching the opaque type origin when only "is this in the defining scop... | Oli Scherer | -3/+3 |
| 2024-04-08 | Pass list of defineable opaque types into canonical queries | Oli Scherer | -2/+0 |
| 2024-04-04 | Rollup merge of #123363 - lcnr:normalizes-to-zero-to-inf, r=BoxyUwU | Jacob Pratt | -68/+60 |
| 2024-04-04 | normalizes-to change from '1' to '0 to inf' steps | lcnr | -68/+60 |
| 2024-04-04 | Use `DefineOpaqueTypes::Yes` where the new solver is unconditionally used alr... | Oli Scherer | -8/+16 |
| 2024-03-18 | Rollup merge of #122687 - lcnr:normalizes-to-emit-nested-goals, r=compiler-er... | Matthias Krüger | -80/+119 |
| 2024-03-18 | cleanup + review | lcnr | -11/+21 |
| 2024-03-18 | `NormalizesTo` return nested goals | lcnr | -57/+89 |
| 2024-03-18 | move `normalizes_to_hack` to `AliasRelate` | lcnr | -15/+12 |
| 2024-03-18 | Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ... | Oli Scherer | -1/+1 |
| 2024-03-11 | Eliminate `DefiningAnchor::Error`, it is indistinguishable from `DefiningAnch... | Oli Scherer | -5/+2 |
| 2024-03-05 | Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult` | Jason Newcomb | -3/+3 |
| 2024-03-01 | Rollup merge of #121497 - lcnr:coherence-suggest-increasing-recursion-limit, ... | Matthias Krüger | -17/+16 |
| 2024-03-01 | Get rid of some sub_exp and eq_exp | Michael Goulet | -1/+0 |
| 2024-02-29 | distinguish recursion limit based overflow for diagnostics | lcnr | -17/+16 |
| 2024-02-27 | safe transmute: revise safety analysis | Jack Wrenn | -2/+0 |
| 2024-02-26 | consider placeholders in `fn term_is_fully_unconstrained` | lcnr | -37/+49 |
| 2024-02-26 | always emit `AliasRelate` goals when relating aliases | lcnr | -142/+136 |
| 2024-02-16 | Move trait into attr so it's greppable | Michael Goulet | -4/+4 |
| 2024-02-16 | Use extension trait derive | Michael Goulet | -20/+4 |
| 2024-02-12 | Dejargnonize subst | Shoyu Vanilla | -11/+14 |
| 2024-02-08 | reviews + rebase | Boxy | -2/+0 |
