| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-04-11 | Auto merge of #139578 - ferrocene:pa-compiletest-edition, r=jieyouxu | bors | -2/+3 |
| 2025-04-10 | Deeply normalize obligations in BestObligation | Michael Goulet | -18/+10 |
| 2025-04-10 | replace `//@ compile-flags: --edition` with `//@ edition` | Pietro Albini | -2/+3 |
| 2025-04-08 | UI tests: add missing diagnostic kinds where possible | Vadim Petrochenkov | -3/+3 |
| 2025-04-03 | add `TypingMode::Borrowck` | lcnr | -16/+63 |
| 2025-03-24 | Allow WellFormed goals to be returned from relating in new solver | Michael Goulet | -0/+48 |
| 2025-03-14 | Do not suggest using `-Zmacro-backtrace` for builtin macros | Esteban Küber | -1/+0 |
| 2025-03-12 | Rollup merge of #137314 - lcnr:cycles-with-unknown-kind, r=compiler-errors | Matthias Krüger | -119/+80 |
| 2025-03-11 | Implement `#[define_opaque]` attribute for functions. | Oli Scherer | -13/+22 |
| 2025-03-05 | Rollup merge of #137728 - Darksonn:no-tuple-unsize, r=oli-obk | 许杰友 Jieyou Xu (Joe) | -6/+0 |
| 2025-03-05 | keep inductive cycles as ambig in coherence | lcnr | -0/+32 |
| 2025-03-05 | change definitely non-productive cycles to error | lcnr | -119/+48 |
| 2025-02-28 | add test using only trait bounds | lcnr | -0/+48 |
| 2025-02-28 | review | lcnr | -2/+10 |
| 2025-02-28 | add test for newly supported behavior | lcnr | -0/+43 |
| 2025-02-28 | normalizing where-clauses is also coinductive, add tests | lcnr | -0/+111 |
| 2025-02-28 | remove useless tests | lcnr | -238/+0 |
| 2025-02-27 | Delete tuple unsizing | Alice Ryhl | -6/+0 |
| 2025-02-17 | Deeply normalize associated type bounds before proving them | Michael Goulet | -11/+32 |
| 2025-02-14 | eagerly prove WF when resolving fully qualified paths | lcnr | -0/+39 |
| 2025-02-10 | Show diff suggestion format on verbose replacement | Esteban Küber | -2/+3 |
| 2025-02-06 | remove `feature(trait_upcasting)` from tests and bless them | Waffle Lapkin | -3/+0 |
| 2025-02-05 | Rollup merge of #136583 - Jarcho:fn_ctxt2, r=compiler-errors | Jubilee | -1/+1 |
| 2025-02-05 | Pass spans around new solver | Michael Goulet | -4/+12 |
| 2025-02-05 | When displaying a parameter mismatch error, only highlight the mismatched par... | Jason Newcomb | -1/+1 |
| 2025-01-31 | Manually walk into WF obligations in BestObligation proof tree visitor | Michael Goulet | -5/+6 |
| 2025-01-28 | "normalize" signature before checking mentions self | Boxy | -0/+52 |
| 2025-01-27 | Remove all dead files inside tests/ui/ | León Orell Valerian Liehr | -16/+0 |
| 2025-01-23 | Rollup merge of #135766 - lcnr:candidate-assembly-3, r=compiler-errors | Matthias Krüger | -0/+21 |
| 2025-01-23 | Rollup merge of #134746 - compiler-errors:autoderef-norm-non-wf-coerce-ice, r... | Matthias Krüger | -0/+56 |
| 2025-01-22 | Don't ICE in coerce when autoderef fails to structurally normalize non-WF typ... | Michael Goulet | -0/+56 |
| 2025-01-22 | Rollup merge of #135866 - BoxyUwU:dont_pick_fnptr_nested_goals, r=lcnr | Matthias Krüger | -0/+62 |
| 2025-01-22 | Use `structurally_normalize` instead of manual `normalizes-to` goals | Boxy | -0/+45 |
| 2025-01-22 | Don't pick `T: FnPtr` nested goals | Boxy | -0/+62 |
| 2025-01-20 | handle global trait bounds defining assoc type | lcnr | -0/+21 |
| 2025-01-18 | Auto merge of #135618 - lcnr:coherence-unknown, r=compiler-errors | bors | -0/+70 |
| 2025-01-17 | add test | lcnr | -0/+70 |
| 2025-01-14 | Make sure to scrape region constraints from deeply normalizing type outlives ... | Michael Goulet | -0/+13 |
| 2025-01-06 | Don't ice on bad transmute in typeck in new solver | Michael Goulet | -0/+92 |
| 2024-12-18 | resolve FIXME | lcnr | -5/+0 |
| 2024-12-07 | Mention type parameter in more cases and don't suggest ~const bound already t... | Esteban Küber | -1/+1 |
| 2024-12-07 | Use trait name instead of full constraint in suggestion message | Esteban Küber | -3/+3 |
| 2024-12-07 | reword trait bound suggestion message to include the bounds | Esteban Küber | -5/+5 |
| 2024-12-06 | Auto merge of #133559 - compiler-errors:structurally-resolve-adjust-for-branc... | bors | -0/+34 |
| 2024-12-05 | Resolve more | Michael Goulet | -0/+26 |
| 2024-12-03 | Rollup merge of #133558 - compiler-errors:structurally-resolve-probe-adt, r=lcnr | Matthias Krüger | -0/+15 |
| 2024-12-02 | Structurally resolve in probe_adt | Michael Goulet | -0/+15 |
| 2024-12-02 | Assert that obligations are empty before deeply normalizing | Michael Goulet | -8/+7 |
| 2024-12-02 | Deeply normalize when computing implied outlives bounds | Michael Goulet | -0/+46 |
| 2024-11-28 | Structurally resolve before adjust_for_branches | Michael Goulet | -0/+8 |
