| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-04-26 | Auto merge of #122385 - lcnr:analyze-obligations-for-infer, r=compiler-errors | bors | -25/+0 |
| 2024-04-25 | hir typeck: look into nested goals | lcnr | -25/+0 |
| 2024-04-25 | Don't ICE when codegen_select returns ambiguity in new solver | Michael Goulet | -0/+17 |
| 2024-04-24 | Error on using `yield` without also using `#[coroutine]` on the closure | Oli Scherer | -37/+43 |
| 2024-04-22 | Stabilize generic `NonZero`. | Markus Reiter | -7/+6 |
| 2024-03-22 | Uniquify ReError on input mode in canonicalizer | Michael Goulet | -0/+49 |
| 2024-03-19 | Auto merge of #122392 - BoxyUwU:misc_cleanup, r=lcnr | bors | -4/+4 |
| 2024-03-18 | update region debug formatting | Boxy | -4/+4 |
| 2024-03-18 | move tests | lcnr | -0/+0 |
| 2024-03-18 | `NormalizesTo` return nested goals | lcnr | -20/+45 |
| 2024-03-11 | Move project -> normalize, move normalize tests | Michael Goulet | -0/+0 |
| 2024-03-11 | Don't ICE when non-self part of trait goal is constrained in new solver | Michael Goulet | -0/+35 |
| 2024-03-10 | Ignore tests w/ current/next revisions from compare-mode=next-solver | Michael Goulet | -5/+7 |
| 2024-03-08 | Add some new solver tests | Michael Goulet | -0/+49 |
| 2024-03-07 | Merge `check_mod_impl_wf` and `check_mod_type_wf` | Oli Scherer | -18/+18 |
| 2024-03-01 | Rollup merge of #121497 - lcnr:coherence-suggest-increasing-recursion-limit, ... | Matthias Krüger | -65/+7 |
| 2024-02-29 | Make infer higher ranked equate use bidirectional subtyping in invariant context | Santiago Pastorino | -1/+9 |
| 2024-02-29 | track overflowing goals for overfow errors | lcnr | -0/+3 |
| 2024-02-29 | distinguish recursion limit based overflow for diagnostics | lcnr | -65/+4 |
| 2024-02-27 | Process alias-relate obligations in CoerceUnsized loop | Michael Goulet | -0/+18 |
| 2024-02-26 | add regression tests | lcnr | -0/+52 |
| 2024-02-26 | update tests | lcnr | -52/+55 |
| 2024-02-25 | Use generic `NonZero` in tests. | Markus Reiter | -6/+7 |
| 2024-02-22 | Rollup merge of #120598 - compiler-errors:no-rigid-check, r=lcnr | Matthias Krüger | -15/+1 |
| 2024-02-21 | Rollup merge of #121359 - lcnr:typesystem-cleanup, r=compiler-errors | León Orell Valerian Liehr | -8/+8 |
| 2024-02-20 | some type system cleanup | lcnr | -8/+8 |
| 2024-02-20 | Simply do not ICE | Michael Goulet | -0/+26 |
| 2024-02-19 | Auto merge of #121211 - lcnr:nll-relate-handle-infer, r=BoxyUwU | bors | -2/+2 |
| 2024-02-17 | move ty var instantiation into the generalize module | lcnr | -2/+2 |
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -251/+251 |
| 2024-02-14 | Continue compilation after check_mod_type_wf errors | Oli Scherer | -5/+60 |
| 2024-02-13 | use alias-relate to structurally normalize in the solver | lcnr | -23/+24 |
| 2024-02-09 | hide impls if trait bound is proven from env | lcnr | -82/+316 |
| 2024-02-08 | Auto merge of #120558 - oli-obk:missing_impl_item_ice, r=estebank | bors | -6/+32 |
| 2024-02-06 | Rollup merge of #120513 - compiler-errors:normalize-regions-for-nll, r=lcnr | Matthias Krüger | -3/+41 |
| 2024-02-05 | Stop bailing out from compilation just because there were incoherent traits | Oli Scherer | -6/+32 |
| 2024-02-04 | Auto merge of #120649 - matthiaskrgr:rollup-ek80j61, r=matthiaskrgr | bors | -4/+4 |
| 2024-02-03 | No need to validate_alias_bound_self_from_param_env in assemble_alias_bound_c... | Michael Goulet | -15/+1 |
| 2024-02-02 | Normalize the whole PolyTypeOutlivesPredicate, more simplifications | Michael Goulet | -2/+2 |
| 2024-02-02 | Normalize type outlives obligations in NLL | Michael Goulet | -0/+31 |
| 2024-02-02 | Use deeply_normalize_with_skipped_universes in when processing type outlives | Michael Goulet | -1/+8 |
| 2024-02-01 | review comment: change wording | Esteban Küber | -4/+4 |
| 2024-01-31 | Remove a has_errors check that doesn't actually prevent noisy follow up errors | Oli Scherer | -2/+10 |
| 2024-01-30 | Auto merge of #119101 - compiler-errors:outlives, r=lcnr | bors | -3/+48 |
| 2024-01-30 | Rollup merge of #120293 - estebank:issue-102629, r=nnethercote | Guillaume Gomez | -18/+5 |
| 2024-01-30 | Apply suggestions from review | Michael Goulet | -0/+20 |
| 2024-01-30 | Add a test | Michael Goulet | -0/+22 |
| 2024-01-30 | Deeply normalize when processing registered region obligations | Michael Goulet | -3/+6 |
| 2024-01-29 | bye bye `assemble_candidates_via_self_ty` | lcnr | -13/+85 |
| 2024-01-26 | remove unnecessary test | lcnr | -22/+0 |
