| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 | 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 | 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 |
| 2024-02-27 | wf-check RPITs | lcnr | -0/+41 |
| 2024-02-26 | update tests | lcnr | -9/+10 |
| 2024-02-24 | Rollup merge of #121435 - estebank:rpitit-static-119773, r=compiler-errors | Matthias Krüger | -2/+28 |
| 2024-02-23 | Rollup merge of #121480 - nnethercote:fix-more-121208-fallout, r=lcnr | Matthias Krüger | -0/+48 |
| 2024-02-23 | Auto merge of #120730 - estebank:confusable-api, r=oli-obk | bors | -12/+38 |
| 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-22 | Fix rebase | Esteban Küber | -0/+2 |
| 2024-02-22 | Deduplicate some logic and reword output | Esteban Küber | -6/+6 |
| 2024-02-22 | Tweak wording of "implemented trait isn't imported" suggestion | Esteban Küber | -6/+6 |
| 2024-02-22 | Consider methods from traits when suggesting typos | Esteban Küber | -6/+30 |
| 2024-02-22 | change error messages to be incorrect, but more helpful | lcnr | -2/+2 |
| 2024-02-22 | do not use <: in subtyping overflow msg | lcnr | -2/+2 |
| 2024-02-22 | overflow errors: change source to a concrete enum | lcnr | -18/+9 |
| 2024-02-22 | freshen: resolve root vars | lcnr | -7/+32 |
| 2024-02-22 | remove `sub_relations` from infcx, recompute in diagnostics | lcnr | -10/+5 |
| 2024-02-22 | Overhaul the handling of errors at the top-level. | Nicholas Nethercote | -2/+0 |
| 2024-02-20 | Rollup merge of #121319 - compiler-errors:err, r=oli-obk | Nilstrieb | -47/+40 |
| 2024-02-19 | return ty::Error when equating ty::Error | Michael Goulet | -47/+40 |
| 2024-02-19 | Auto merge of #121211 - lcnr:nll-relate-handle-infer, r=BoxyUwU | bors | -14/+1 |
| 2024-02-17 | use `instantiate_ty_var` in nll | lcnr | -14/+1 |
