| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-01-23 | add test | lcnr | -0/+70 |
| 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 |
| 2024-11-28 | support revealing defined opaque post borrowck | lcnr | -0/+100 |
| 2024-11-28 | move tests into subdir | lcnr | -0/+0 |
| 2024-11-28 | Auto merge of #133561 - GuillaumeGomez:rollup-g4upmv4, r=GuillaumeGomez | bors | -0/+79 |
| 2024-11-28 | Rollup merge of #133520 - compiler-errors:structurally-resolve-mir-borrowck, ... | Guillaume Gomez | -0/+32 |
| 2024-11-28 | Rollup merge of #133519 - compiler-errors:xform-ret-wf, r=lcnr | Guillaume Gomez | -0/+47 |
| 2024-11-27 | Rollup merge of #133521 - compiler-errors:structurally-resolve-cat-proj, r=lcnr | Matthias Krüger | -0/+20 |
| 2024-11-27 | Rollup merge of #133518 - compiler-errors:structurally-resolve-never, r=lcnr | Matthias Krüger | -1/+30 |
| 2024-11-27 | Check xform_ret_ty for WF in the new solver to improve method winnowing | Michael Goulet | -0/+47 |
| 2024-11-27 | Structurally resolve before applying projection in borrowck | Michael Goulet | -0/+32 |
| 2024-11-27 | Bless tests due to extra error reporting due to normalizing types that are no... | Michael Goulet | -1/+10 |
| 2024-11-27 | Structurally resolve before matching on type of projection | Michael Goulet | -0/+20 |
| 2024-11-27 | Structurally resolve before checking never | Michael Goulet | -0/+20 |
| 2024-11-26 | add test for alias-bound shadowing, rename folder | lcnr | -0/+19 |
| 2024-11-22 | Gate const drop behind const_destruct feature, and fix const_precise_live_dro... | Michael Goulet | -1/+1 |
| 2024-11-13 | actually test next solver | lcnr | -1/+15 |
| 2024-11-03 | Yeet effects feature | Michael Goulet | -12/+0 |
| 2024-11-02 | fix tests | Esteban Küber | -1/+1 |
| 2024-10-29 | Remove detail from label/note that is already available in other note | Esteban Küber | -9/+9 |
| 2024-10-24 | Deeply normalize type trace in type error reporting | Michael Goulet | -0/+34 |
| 2024-10-21 | don't bail when encountering many placeholders | lcnr | -14/+19 |
| 2024-10-21 | normalizes-to disable infer var check | lcnr | -7/+56 |
| 2024-10-19 | Rollup merge of #131795 - compiler-errors:expectation, r=Nadrieril | Matthias Krüger | -13/+6 |
| 2024-10-16 | Auto merge of #131797 - matthiaskrgr:rollup-lzpze2k, r=matthiaskrgr | bors | -0/+40 |
| 2024-10-16 | Stop inverting expectation in normalization errors | Michael Goulet | -13/+6 |
| 2024-10-15 | Structurally resolve in may_coerce | Michael Goulet | -0/+40 |
| 2024-10-15 | Register a dummy candidate for failed structural normalization during candiat... | Michael Goulet | -15/+1 |
| 2024-10-15 | Be better at reporting alias errors | Michael Goulet | -136/+20 |
| 2024-10-15 | Make sure the alias is actually rigid | Michael Goulet | -20/+148 |
| 2024-10-15 | stabilize `-Znext-solver=coherence` | lcnr | -8/+18 |
| 2024-10-10 | Rollup merge of #131475 - fmease:compiler-mv-obj-safe-dyn-compat-2, r=jieyouxu | Matthias Krüger | -5/+5 |
| 2024-10-10 | Structurallyresolve adts and tuples expectations too | Michael Goulet | -0/+32 |
| 2024-10-10 | UI tests: Rename "object safe" to "dyn compatible" | León Orell Valerian Liehr | -5/+5 |
| 2024-10-02 | Auto merge of #130821 - lcnr:nalgebra-hang-2, r=compiler-errors | bors | -0/+97 |
| 2024-10-01 | add tests | lcnr | -0/+97 |
| 2024-09-29 | fix(hir_analysis/wfcheck): don't leak {type error} | Barrett Ray | -2/+2 |
| 2024-09-27 | Cleanup some known-bug issues | Jack Huey | -3/+8 |
| 2024-09-20 | update tests | lcnr | -1/+14 |
| 2024-09-12 | more eagerly discard constraints on overflow | lcnr | -0/+2 |
