| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2024-09-09 | compiler: Inform the solver of concurrency | Jubilee Young | -0/+51 |
| 2024-08-13 | Use the right type when coercing fn items to pointers | Michael Goulet | -1/+8 |
| 2024-07-12 | rustc_type_ir: derivative -> derive-where | Pavel Grigorenko | -4/+4 |
| 2024-07-05 | Actually just make can_eq process obligations (almost) everywhere | Michael Goulet | -4/+0 |
| 2024-07-05 | Process alias-relate obligations when proving receiver_is_valid | Michael Goulet | -0/+23 |
| 2024-07-02 | Actually report normalization-based type errors correctly for alias-relate ob... | Michael Goulet | -4/+19 |
| 2024-06-27 | Tighten spans for async blocks | Michael Goulet | -1/+1 |
| 2024-06-22 | Make `effects` an incomplete feature | Deadbeef | -1/+12 |
| 2024-06-19 | rustc_type_ir: Omit some struct fields from Debug output | León Orell Valerian Liehr | -4/+4 |
| 2024-06-16 | Rollup merge of #126127 - Alexendoo:other-trait-diag, r=pnkfelix | Jacob Pratt | -2/+2 |
| 2024-06-13 | Check that alias-relate terms are WF if reporting an error in alias-relate | Michael Goulet | -113/+7 |
| 2024-06-12 | Rollup merge of #126142 - compiler-errors:trait-ref-split, r=jackh726 | Jubilee | -1/+11 |
