| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2024-04-04 | unconstrained `NormalizesTo` term for opaques | lcnr | -27/+9 |
| 2024-04-03 | Uplift and start using check_args_compatible more liberally | Michael Goulet | -2/+2 |
| 2024-03-22 | Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgr | bors | -33/+35 |
| 2024-03-22 | Split out ImplPolarity and PredicatePolarity | Michael Goulet | -33/+35 |
| 2024-03-22 | Programmatically convert some of the pat ctors | Michael Goulet | -7/+7 |
| 2024-03-22 | Update (doc) comments | León Orell Valerian Liehr | -1/+1 |
| 2024-03-22 | Rollup merge of #122829 - ShoyuVanilla:gen-block-impl-fused-iter, r=compiler-... | Matthias Krüger | -0/+38 |
| 2024-03-22 | Implement `FusedIterator` for `gen` block | Shoyu Vanilla | -0/+38 |
| 2024-03-21 | Rollup merge of #122358 - compiler-errors:bound-regions-in-generator, r=lcnr | Matthias Krüger | -31/+5 |
| 2024-03-19 | Only split by-ref/by-move futures for async closures | Michael Goulet | -1/+1 |
| 2024-03-19 | Do binder folding eagerly in bound_coroutine_hidden_types | Michael Goulet | -30/+5 |
| 2024-03-19 | Don't ICE when encountering bound regions in generator interior type | Michael Goulet | -1/+0 |
| 2024-03-19 | Auto merge of #122493 - lukas-code:sized-constraint, r=lcnr | bors | -7/+19 |
| 2024-03-18 | address nits | Lukas Markeffsky | -4/+5 |
| 2024-03-18 | Rollup merge of #122687 - lcnr:normalizes-to-emit-nested-goals, r=compiler-er... | Matthias Krüger | -156/+189 |
| 2024-03-18 | cleanup + review | lcnr | -22/+27 |
| 2024-03-18 | `NormalizesTo` return nested goals | lcnr | -72/+107 |
| 2024-03-18 | move `normalizes_to_hack` to `AliasRelate` | lcnr | -67/+60 |
| 2024-03-18 | Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ... | Oli Scherer | -1/+1 |
| 2024-03-14 | remove unnecessary sized checks | Lukas Markeffsky | -3/+4 |
| 2024-03-14 | clean up ADT sized constraint computation | Lukas Markeffsky | -2/+12 |
| 2024-03-14 | Rollup merge of #122238 - fee1-dead-contrib:builtin-impl-next-solver-dox, r=lcnr | Matthias Krüger | -0/+18 |
| 2024-03-14 | move impl documentation to their actual locations | Deadbeef | -33/+12 |
| 2024-03-12 | Rollup merge of #122319 - compiler-errors:next-solver-normalizing-self-constr... | Matthias Krüger | -1/+3 |
| 2024-03-11 | Don't ICE when non-self part of trait goal is constrained in new solver | Michael Goulet | -1/+3 |
| 2024-03-11 | Eliminate `DefiningAnchor::Error`, it is indistinguishable from `DefiningAnch... | Oli Scherer | -5/+2 |
| 2024-03-10 | fix metadata for dyn-star in new solver | Lukas Markeffsky | -2/+3 |
| 2024-03-09 | Document some builtin impls in the next solver | Deadbeef | -0/+39 |
| 2024-03-07 | Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader` | Yoshitomo Nakanishi | -6/+6 |
| 2024-03-06 | remove outdated fixme comment | Deadbeef | -1/+0 |
| 2024-03-05 | Convert `ProofTreeVisitor` to use `VisitorResult` | Jason Newcomb | -24/+23 |
| 2024-03-05 | Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult` | Jason Newcomb | -3/+3 |
| 2024-03-02 | avoid collecting into vecs in some places | Matthias Krüger | -1/+1 |
