| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-04-11 | add non-regression test for issue 123275 | Rémy Rakic | -0/+244 |
| 2024-04-11 | Check def id before calling match_projection_projections | Michael Goulet | -0/+38 |
| 2024-03-15 | Auto merge of #122341 - compiler-errors:alias-wfness, r=lcnr | bors | -1/+22 |
| 2024-03-14 | add tests | lcnr | -0/+128 |
| 2024-03-14 | Consolidate WF for aliases | Michael Goulet | -1/+22 |
| 2024-03-13 | Rollup merge of #122360 - veera-sivarajan:bugfix-121941, r=compiler-errors | Matthias Krüger | -0/+14 |
| 2024-03-12 | Don't Create `ParamCandidate` When Obligation Contains Errors | Veera | -0/+14 |
| 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-11 | Rollup merge of #122318 - compiler-errors:next-solver-tests, r=lcnr | Jubilee | -30/+47 |
| 2024-03-10 | Mark some next-solver-behavior tests explicitly with revisions | Michael Goulet | -4/+6 |
| 2024-03-10 | Ignore tests w/ current/next revisions from compare-mode=next-solver | Michael Goulet | -26/+41 |
| 2024-03-10 | Detect unused struct impls pub trait | r0cky | -2/+2 |
| 2024-03-08 | Rollup merge of #122171 - compiler-errors:next-solver-tests, r=lcnr | Matthias Krüger | -0/+49 |
| 2024-03-08 | Add some new solver tests | Michael Goulet | -0/+49 |
| 2024-03-08 | Auto merge of #121500 - oli-obk:track_errors12, r=petrochenkov | bors | -40/+55 |
| 2024-03-08 | Auto merge of #122078 - gurry:121443-ice-layout-is-sized-alt, r=oli-obk | bors | -2/+21 |
| 2024-03-07 | Merge collect_mod_item_types query into check_well_formed | Oli Scherer | -40/+55 |
| 2024-03-07 | Rollup merge of #122123 - compiler-errors:object-trait-alias-bounds, r=oli-obk | Guillaume Gomez | -0/+16 |
| 2024-03-07 | Merge `check_mod_impl_wf` and `check_mod_type_wf` | Oli Scherer | -37/+65 |
| 2024-03-07 | Don't require specifying unrelated assoc types when trait alias is in dyn type | Michael Goulet | -0/+16 |
| 2024-03-06 | compiletest: Add a `//@ needs-threads` directive | Alex Crichton | -1/+1 |
| 2024-03-06 | Check that return type is WF in typeck | Gurinder Singh | -2/+21 |
| 2024-03-06 | Auto merge of #121679 - lcnr:opaque-wf-check-2, r=oli-obk | bors | -1/+15 |
| 2024-03-05 | Rollup merge of #121826 - estebank:e0277-root-obligation-2, r=oli-obk | Matthias Krüger | -23/+14 |
| 2024-03-03 | Move tests | Caio | -0/+109 |
| 2024-03-03 | Use root obligation on E0277 for some cases | Esteban Küber | -23/+14 |
| 2024-03-02 | Rollup merge of #121875 - estebank:e0277-drive-by, r=compiler-errors | Matthias Krüger | -4/+4 |
| 2024-03-02 | Rollup merge of #121739 - jieyouxu:loooong-typename, r=estebank | Matthias Krüger | -0/+42 |
| 2024-03-02 | Account for unmet `T: !Copy` in E0277 message | Esteban Küber | -4/+4 |
| 2024-03-01 | Rollup merge of #121497 - lcnr:coherence-suggest-increasing-recursion-limit, ... | Matthias Krüger | -65/+7 |
| 2024-03-01 | Avoid silently writing to a file when the involved ty is long | 许杰友 Jieyou Xu (Joe) | -0/+2 |
| 2024-03-01 | normalizes-to: handle negative impls | lcnr | -0/+22 |
| 2024-03-01 | Get rid of some sub_exp and eq_exp | Michael Goulet | -8/+8 |
| 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-28 | Unify long type name file and note in note_obligation_cause_code | 许杰友 Jieyou Xu (Joe) | -0/+2 |
| 2024-02-28 | Display short types for unimplemented trait | 许杰友 Jieyou Xu (Joe) | -0/+38 |
| 2024-02-27 | Process alias-relate obligations in CoerceUnsized loop | Michael Goulet | -0/+18 |
| 2024-02-27 | use typeck root when checking closure oblig | lcnr | -16/+1 |
| 2024-02-27 | when defining opaques, require the hidden type to be well-formed | lcnr | -2/+31 |
| 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-23 | Rollup merge of #121434 - nnethercote:fix-121208-fallout, r=lcnr | Matthias Krüger | -0/+35 |
| 2024-02-23 | Auto merge of #120730 - estebank:confusable-api, r=oli-obk | bors | -15/+67 |
| 2024-02-23 | Revert some `span_bug`s to `span_delayed_bug`. | Nicholas Nethercote | -0/+35 |
| 2024-02-22 | Auto merge of #119989 - lcnr:sub_relations-bye-bye, r=compiler-errors | bors | -5/+5 |
| 2024-02-22 | Deduplicate some logic and reword output | Esteban Küber | -9/+9 |
