| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-03-27 | Use `TraitRef::to_string` sorting in favor of `TraitRef::ord`, as the latter ... | Oli Scherer | -10/+10 |
| 2024-03-26 | ignore uncaptured lifetimes when checking opaques | Ali MJ Al-Nasrawy | -3/+106 |
| 2024-03-24 | add test for ICE: no errors encountered even though delay_span_bug issued, e... | Matthias Krüger | -0/+35 |
| 2024-03-24 | Rollup merge of #122943 - matthiaskrgr:ice-tests-9xxxx-to-12xxxx, r=fmease | Matthias Krüger | -0/+36 |
| 2024-03-23 | add test for opaque type with non-universal region substs #101852 | Matthias Krüger | -0/+36 |
| 2024-03-22 | Delay a bug if no RPITITs were found | León Orell Valerian Liehr | -17/+71 |
| 2024-03-22 | add test for https://github.com/rust-lang/rust/issues/112823 | Matthias Krüger | -0/+61 |
| 2024-03-21 | Auto merge of #121123 - compiler-errors:item-assumptions, r=oli-obk | bors | -8/+67 |
| 2024-03-20 | register opaques that reference errors | Ali MJ Al-Nasrawy | -13/+24 |
| 2024-03-20 | make `type_flags(ReError) & HAS_ERROR` | Ali MJ Al-Nasrawy | -77/+17 |
| 2024-03-20 | Bless test fallout (duplicate diagnostics) | Michael Goulet | -8/+67 |
| 2024-03-19 | Auto merge of #116935 - oli-obk:different_lifetime_taits_in_same_sig, r=compi... | bors | -21/+0 |
| 2024-03-19 | Auto merge of #122392 - BoxyUwU:misc_cleanup, r=lcnr | bors | -8/+8 |
| 2024-03-19 | Auto merge of #122055 - compiler-errors:stabilize-atb, r=oli-obk | bors | -2/+0 |
| 2024-03-18 | Rollup merge of #122158 - estebank:feature-sugg, r=WaffleLapkin | Matthias Krüger | -1/+4 |
| 2024-03-18 | update region debug formatting | Boxy | -8/+8 |
| 2024-03-18 | Provide structured suggestion for `#![feature(foo)]` | Esteban Küber | -1/+4 |
| 2024-03-18 | Prevent opaque types being instantiated twice with different regions within t... | Oli Scherer | -21/+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-13 | Delay a bug for stranded opaques | Michael Goulet | -0/+22 |
| 2024-03-12 | Rollup merge of #122366 - oli-obk:opaques_defined_by_overflow, r=lcnr | Jubilee | -0/+26 |
| 2024-03-12 | Fix stack overflow with recursive associated types | Oli Scherer | -0/+26 |
| 2024-03-12 | Rollup merge of #122343 - compiler-errors:rando, r=fmease | Matthias Krüger | -39/+15 |
| 2024-03-11 | Remove some unnecessary allow(incomplete_features) | Michael Goulet | -39/+15 |
| 2024-03-11 | Auto merge of #121796 - oli-obk:eager_opaque_checks3, r=lcnr | bors | -28/+15 |
| 2024-03-11 | Make `DefiningAnchor::Bind` only store the opaque types that may be constrain... | Oli Scherer | -28/+15 |
| 2024-03-10 | Ignore tests w/ current/next revisions from compare-mode=next-solver | Michael Goulet | -21/+32 |
| 2024-03-08 | Stabilize associated type bounds | Michael Goulet | -2/+0 |
| 2024-03-08 | Rollup merge of #122172 - compiler-errors:rpitit-collect-ice, r=fmease | Matthias Krüger | -0/+85 |
| 2024-03-08 | Improve error message for opaque captures | Michael Goulet | -31/+43 |
| 2024-03-08 | Don't ICE if we collect no RPITITs unless there are no unification errors | Michael Goulet | -0/+85 |
| 2024-03-07 | Merge collect_mod_item_types query into check_well_formed | Oli Scherer | -58/+58 |
| 2024-03-07 | Merge `check_mod_impl_wf` and `check_mod_type_wf` | Oli Scherer | -10/+25 |
| 2024-03-06 | Rollup merge of #122027 - compiler-errors:rpitit-cycle, r=spastorino | Matthias Krüger | -0/+18 |
| 2024-03-06 | Auto merge of #121679 - lcnr:opaque-wf-check-2, r=oli-obk | bors | -20/+64 |
| 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-03-03 | Use root obligation on E0277 for some cases | Esteban Küber | -1/+0 |
| 2024-03-02 | Rollup merge of #121731 - oli-obk:eager_opaque_checks, r=compiler-errors | Guillaume Boisseau | -2/+35 |
| 2024-02-29 | Rollup merge of #121669 - nnethercote:count-stashed-errs-again, r=estebank | Guillaume Gomez | -0/+22 |
| 2024-02-29 | Rollup merge of #121745 - compiler-errors:refining-impl-trait-deeply-norm, r=... | Jacob Pratt | -0/+20 |
| 2024-02-29 | Overhaul how stashed diagnostics work, again. | Nicholas Nethercote | -0/+22 |
| 2024-02-28 | Deeply normalize obligations in refining_impl_trait | Michael Goulet | -0/+20 |
| 2024-02-28 | test that fudging with opaque types is the same in the new solver | Oli Scherer | -2/+35 |
| 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-27 | when defining opaques, require the hidden type to be well-formed | lcnr | -36/+39 |
