| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2024-06-12 | Harmonize use of leaf and root obligation in trait error reporting | Michael Goulet | -1/+11 |
| 2024-06-12 | Also passthrough for projection clauses | Michael Goulet | -14/+9 |
| 2024-06-12 | better error message for normalizes-to ambiguities | Michael Goulet | -4/+4 |
| 2024-06-12 | Walk into alias-eq nested goals even if normalization fails | Michael Goulet | -6/+49 |
| 2024-06-12 | Spell out other trait diagnostic | Alex Macleod | -2/+2 |
| 2024-06-11 | Remove DebugWithInfcx | Michael Goulet | -4/+4 |
| 2024-06-05 | bivariant alias: set `has_unconstrained_ty_var` | lcnr | -0/+20 |
| 2024-06-03 | Auto merge of #125778 - estebank:issue-67100, r=compiler-errors | bors | -4/+4 |
| 2024-05-31 | Rollup merge of #125786 - compiler-errors:fold-item-bounds, r=lcnr | Matthias Krüger | -22/+8 |
| 2024-05-30 | Fold item bound before checking that they hold | Michael Goulet | -22/+8 |
| 2024-05-30 | update UI tests | lcnr | -4/+4 |
| 2024-05-29 | Use parenthetical notation for `Fn` traits | Esteban Küber | -4/+4 |
| 2024-05-28 | eagerly normalize when adding goals | lcnr | -2/+106 |
| 2024-05-28 | change selection test to run-pass | lcnr | -1/+1 |
| 2024-05-27 | Auto merge of #125413 - lcnr:ambig-drop-region-constraints, r=compiler-errors | bors | -0/+29 |
| 2024-05-24 | drop region constraints for ambiguous goals | lcnr | -0/+29 |
| 2024-05-24 | Structurally resolve before builtin_index in EUV | Michael Goulet | -0/+13 |
| 2024-05-20 | track cycle participants per entry | lcnr | -3/+31 |
| 2024-05-16 | Report better WF obligation leaf obligations in new solver | Michael Goulet | -43/+23 |
| 2024-05-16 | Don't ICE because recomputing overflow goals during find_best_leaf_obligation... | Michael Goulet | -179/+81 |
| 2024-05-12 | Apply nits | Michael Goulet | -0/+4 |
| 2024-05-12 | Try structurally resolve | Michael Goulet | -0/+15 |
| 2024-05-09 | analyse visitor: build proof tree in probe | lcnr | -9/+79 |
| 2024-05-07 | Rollup merge of #124846 - compiler-errors:const-eval, r=lcnr | Matthias Krüger | -2/+10 |
| 2024-05-07 | Rollup merge of #124827 - lcnr:generalize-incomplete, r=compiler-errors | Matthias Krüger | -0/+120 |
| 2024-05-07 | generalize hr alias: avoid unconstrainable infer vars | lcnr | -0/+120 |
| 2024-05-07 | Don't ICE when we cannot eval a const to a valtree in the new solver | Michael Goulet | -2/+10 |
| 2024-05-06 | Rollup merge of #124759 - compiler-errors:impl-args, r=lcnr | Matthias Krüger | -0/+13 |
| 2024-05-06 | Use correct ImplSource for alias bounds | Michael Goulet | -0/+13 |
