| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-05-29 | Stop proving outlives constraints on regions we already reported errors on | Oli Scherer | -15/+4 |
| 2024-05-16 | Report better WF obligation leaf obligations in new solver | Michael Goulet | -3/+6 |
| 2024-05-06 | borrowck: more eagerly prepopulate opaques | lcnr | -0/+3 |
| 2024-04-21 | also remap RPITITs nested in other types back to their opaques | Lukas Markeffsky | -0/+4 |
| 2024-04-04 | Rollup merge of #123218 - compiler-errors:synthetic-hir-parent, r=petrochenkov | Matthias Krüger | -0/+38 |
| 2024-04-03 | Tests for getting parent of synthetic HIR | Michael Goulet | -0/+38 |
| 2024-04-03 | Stop chopping off args for no reason | Michael Goulet | -1/+19 |
| 2024-03-28 | check RPITs for invalid args | Ali MJ Al-Nasrawy | -2/+12 |
| 2024-03-24 | add test for ICE: no errors encountered even though delay_span_bug issued, e... | Matthias Krüger | -0/+35 |
| 2024-03-22 | Delay a bug if no RPITITs were found | León Orell Valerian Liehr | -17/+71 |
| 2024-03-20 | Bless test fallout (duplicate diagnostics) | Michael Goulet | -1/+10 |
| 2024-03-19 | Auto merge of #122055 - compiler-errors:stabilize-atb, r=oli-obk | bors | -2/+0 |
| 2024-03-16 | Rollup merge of #121720 - tmandry:split-refining, r=compiler-errors | León Orell Valerian Liehr | -7/+126 |
| 2024-03-15 | Auto merge of #122341 - compiler-errors:alias-wfness, r=lcnr | bors | -1/+18 |
| 2024-03-14 | Ensure RPITITs are created before def-id freezing | Michael Goulet | -0/+22 |
| 2024-03-14 | Consolidate WF for aliases | Michael Goulet | -1/+18 |
| 2024-03-11 | Remove some unnecessary allow(incomplete_features) | Michael Goulet | -39/+15 |
| 2024-03-10 | Ignore tests w/ current/next revisions from compare-mode=next-solver | Michael Goulet | -0/+2 |
| 2024-03-08 | Stabilize associated type bounds | Michael Goulet | -2/+0 |
| 2024-03-08 | Don't ICE if we collect no RPITITs unless there are no unification errors | Michael Goulet | -0/+85 |
| 2024-03-05 | Split refining_impl_trait lint into _reachable, _internal variants | Tyler Mandry | -7/+126 |
| 2024-03-05 | Uplift some feeding out of associated_type_for_impl_trait_in_impl and into qu... | Michael Goulet | -0/+18 |
| 2024-02-29 | Rollup merge of #121745 - compiler-errors:refining-impl-trait-deeply-norm, r=... | Jacob Pratt | -0/+20 |
| 2024-02-28 | Deeply normalize obligations in refining_impl_trait | Michael Goulet | -0/+20 |
| 2024-02-27 | Print RPITIT like an opaque | Michael Goulet | -6/+6 |
| 2024-02-27 | rename RPITIT from opaque to synthetic | Michael Goulet | -8/+8 |
| 2024-02-24 | Rollup merge of #121435 - estebank:rpitit-static-119773, r=compiler-errors | Matthias Krüger | -2/+28 |
| 2024-02-23 | Revert some `span_bug`s to `span_delayed_bug`. | Nicholas Nethercote | -0/+48 |
| 2024-02-22 | Account for RPITIT in E0310 explicit lifetime constraint suggestion | Esteban Küber | -2/+28 |
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -50/+50 |
| 2024-02-13 | Rollup merge of #120696 - estebank:issue-115405, r=oli-obk | Matthias Krüger | -0/+2 |
| 2024-02-12 | Properly handle `async` blocks and `fn`s in `if` exprs without `else` | Esteban Küber | -0/+2 |
| 2024-02-10 | Gracefully handle non-WF alias in assemble_alias_bound_candidates_recur | Michael Goulet | -0/+36 |
| 2024-02-07 | Update tests | r0cky | -1/+3 |
| 2024-02-01 | review comment: change wording | Esteban Küber | -1/+1 |
| 2024-02-01 | On E0277 be clearer about implicit `Sized` bounds on type params and assoc types | Esteban Küber | -4/+4 |
| 2024-01-24 | Deduplicate more sized errors on call exprs | Esteban Küber | -20/+2 |
| 2024-01-17 | Move `check_mod_impl_wf` query call out of track_errors and bubble errors up ... | Oli Scherer | -2/+26 |
| 2024-01-05 | Use `resolutions(()).effective_visiblities` to avoid cycle errors | Michael Goulet | -0/+106 |
| 2023-12-14 | update use of feature flags | lcnr | -2/+2 |
| 2023-12-07 | recurse into refs when comparing tys for diagnostics | jyn | -2/+2 |
| 2023-11-25 | Don't ICE when encountering placeholders in implied bounds computation | Michael Goulet | -0/+14 |
| 2023-11-24 | Show number in error message even for one error | Nilstrieb | -27/+27 |
| 2023-11-04 | fallback for `construct_generic_bound_failure` | bohan | -0/+25 |
| 2023-11-02 | Add all RPITITs when augmenting param-env with GAT bounds in check_type_bounds | Michael Goulet | -0/+11 |
| 2023-10-29 | On object safety error, mention new enum as alternative | Esteban Küber | -0/+5 |
| 2023-10-24 | Remove incomplete features from RPITIT/AFIT tests | Michael Goulet | -37/+19 |
| 2023-10-18 | Tweak wording of type errors involving type params | Esteban Küber | -2/+2 |
| 2023-10-16 | Fix outlives suggestion for GAT in RPITIT | Michael Goulet | -0/+41 |
| 2023-10-13 | Test that RPITITs have RPIT scope and not impl-wide scope | Michael Goulet | -0/+38 |
