| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-10-24 | Implement const effect predicate in new solver | Michael Goulet | -23/+52 |
| 2024-10-24 | Remove associated type based effects logic | Michael Goulet | -44/+6 |
| 2024-10-24 | Rollup merge of #132084 - compiler-errors:param-env-with-err, r=lcnr,estebank | Matthias Krüger | -1/+0 |
| 2024-10-24 | Deeply normalize type trace in type error reporting | Michael Goulet | -1/+4 |
| 2024-10-24 | Plumb through param_env to note_type_err | Michael Goulet | -14/+48 |
| 2024-10-24 | Consider param-env candidates even if they have errors | Michael Goulet | -1/+0 |
| 2024-10-23 | Auto merge of #132027 - RalfJung:lang-feature-bool-fields, r=nnethercote | bors | -20/+20 |
| 2024-10-23 | nightly feature tracking: get rid of the per-feature bool fields | Ralf Jung | -20/+20 |
| 2024-10-23 | Auto merge of #132053 - matthiaskrgr:rollup-u5ds6i3, r=matthiaskrgr | bors | -1/+1 |
| 2024-10-23 | Rollup merge of #132026 - lcnr:stabilize-coherence-again, r=compiler-errors | Matthias Krüger | -1/+1 |
| 2024-10-22 | Represent TraitBoundModifiers as distinct parts in HIR | Michael Goulet | -1/+1 |
| 2024-10-22 | Rollup merge of #131549 - compiler-errors:try-in-sync, r=spastorino | Matthias Krüger | -43/+55 |
| 2024-10-22 | remove unused field | lcnr | -1/+1 |
| 2024-10-21 | Auto merge of #131840 - compiler-errors:impossible-maybe, r=lcnr | bors | -12/+14 |
| 2024-10-21 | normalizes-to disable infer var check | lcnr | -0/+2 |
| 2024-10-21 | Auto merge of #131988 - matthiaskrgr:rollup-tx173wn, r=matthiaskrgr | bors | -356/+40 |
| 2024-10-21 | Rollup merge of #131981 - compiler-errors:bound-constness, r=cjgillot | Matthias Krüger | -12/+15 |
| 2024-10-21 | Auto merge of #130950 - compiler-errors:yeet-eval, r=BoxyUwU | bors | -114/+149 |
| 2024-10-20 | Remove the BoundConstness::NotConst variant | Michael Goulet | -12/+15 |
| 2024-10-20 | Rip out old effects var handling code from traits | Michael Goulet | -344/+25 |
| 2024-10-19 | Rollup merge of #131795 - compiler-errors:expectation, r=Nadrieril | Matthias Krüger | -21/+4 |
| 2024-10-19 | Fix transmute goal | Michael Goulet | -110/+145 |
| 2024-10-19 | Rename normalize to normalize_internal, remove unnecessary usages | Michael Goulet | -3/+3 |
| 2024-10-19 | Get rid of const eval_* and try_eval_* helpers | Michael Goulet | -1/+1 |
| 2024-10-18 | Rollup merge of #131864 - lrh2000:upcast_reorder, r=WaffleLapkin | 许杰友 Jieyou Xu (Joe) | -6/+5 |
| 2024-10-18 | Rollup merge of #131857 - WaffleLapkin:dyn-drop-principal-3, r=compiler-errors | Matthias Krüger | -1/+5 |
| 2024-10-18 | Never emit `vptr` for empty/auto traits | Ruihan Li | -6/+5 |
| 2024-10-17 | Rollup merge of #131825 - lcnr:probe-no-more-leak-2, r=compiler-errors | Matthias Krüger | -0/+1 |
| 2024-10-17 | Allow dropping dyn principal | Michael Goulet | -1/+5 |
| 2024-10-17 | Dont consider predicates that may hold as impossible in is_impossible_associa... | Michael Goulet | -12/+14 |
| 2024-10-17 | SolverDelegate add assoc type for Infcx | lcnr | -0/+1 |
| 2024-10-17 | move `defining_opaque_types` out of `Canonical` | lcnr | -24/+26 |
| 2024-10-17 | `DropckOutlives` to `rustc_middle` | lcnr | -26/+8 |
| 2024-10-17 | `ImpliedOutlivesBounds` to `rustc_middle` | lcnr | -17/+6 |
| 2024-10-16 | Auto merge of #131797 - matthiaskrgr:rollup-lzpze2k, r=matthiaskrgr | bors | -13/+8 |
| 2024-10-16 | Rollup merge of #131753 - compiler-errors:swap-secondary, r=jieyouxu | Matthias Krüger | -13/+8 |
| 2024-10-16 | Stop inverting expectation in normalization errors | Michael Goulet | -21/+4 |
| 2024-10-16 | Rollup merge of #131699 - compiler-errors:better-errors-for-projections, r=lcnr | Matthias Krüger | -12/+22 |
| 2024-10-16 | Auto merge of #131422 - GnomedDev:smallvec-predicate-obligations, r=compiler-... | bors | -148/+179 |
| 2024-10-15 | Be better at reporting alias errors | Michael Goulet | -5/+21 |
| 2024-10-15 | Always recurse on predicates in BestObligation | Michael Goulet | -7/+1 |
| 2024-10-15 | Auto merge of #131747 - compiler-errors:rollup-0fnymws, r=compiler-errors | bors | -9/+13 |
| 2024-10-15 | Unify secondary_span and swap_secondary_and_primary | Michael Goulet | -13/+8 |
| 2024-10-15 | Rollup merge of #131701 - compiler-errors:negative-bounds-on-unimplemented, r... | Michael Goulet | -9/+13 |
| 2024-10-15 | Auto merge of #130654 - lcnr:stabilize-coherence-again, r=compiler-errors | bors | -3/+1 |
| 2024-10-15 | stabilize `-Znext-solver=coherence` | lcnr | -3/+1 |
| 2024-10-14 | Don't report on_unimplemented for negative traits | Michael Goulet | -9/+13 |
| 2024-10-14 | Move trait bound modifiers into hir::PolyTraitRef | Michael Goulet | -10/+13 |
| 2024-10-12 | Swap PredicateObligation to ThinVec | GnomedDev | -2/+6 |
| 2024-10-12 | Swap Vec<PredicateObligation> to type alias | GnomedDev | -147/+174 |
