| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-07-04 | Rollup merge of #143307 - compiler-errors:fast-path-nitpicks, r=lcnr | Jacob Pratt | -15/+6 |
| 2025-07-03 | Rollup merge of #134006 - klensy:typos, r=nnethercote | Jana Dönszelmann | -5/+5 |
| 2025-07-03 | setup CI and tidy to use typos for spellchecking and fix few typos | klensy | -5/+5 |
| 2025-07-02 | Rollup merge of #143235 - compiler-errors:const-item-bound, r=oli-obk | Matthias Krüger | -1/+66 |
| 2025-07-02 | Consider polarity in sizedness fast path | Michael Goulet | -3/+4 |
| 2025-07-02 | Use is_trivially_wf for ProvePredicate fast path | Michael Goulet | -12/+2 |
| 2025-07-01 | Remove support for dyn* | Michael Goulet | -1/+0 |
| 2025-06-30 | Assemble const bounds via normal item bounds in old solver too | Michael Goulet | -1/+66 |
| 2025-06-27 | Rollup merge of #139858 - oli-obk:new-const-traits-syntax, r=fee1-dead | Matthias Krüger | -10/+10 |
| 2025-06-27 | Auto merge of #142223 - compiler-errors:perf-wf, r=lcnr | bors | -2/+10 |
| 2025-06-26 | Rollup merge of #142927 - compiler-errors:note-find-const, r=BoxyUwU | Michael Goulet | -2/+2 |
| 2025-06-26 | Rollup merge of #142647 - compiler-errors:less-work-in-coherence, r=lcnr | Michael Goulet | -17/+26 |
| 2025-06-26 | Rollup merge of #142637 - compiler-errors:less-globs, r=lcnr | Michael Goulet | -45/+47 |
| 2025-06-26 | const-eval: allow constants to refer to mutable/external memory, but reject s... | Ralf Jung | -2/+4 |
| 2025-06-26 | Change const trait bound syntax from ~const to [const] | Oli Scherer | -10/+10 |
| 2025-06-25 | Remove some glob imports from the type system | Michael Goulet | -45/+47 |
| 2025-06-25 | Compute hard errors without diagnostics in impl_intersection_has_impossible_o... | Michael Goulet | -17/+26 |
| 2025-06-24 | Apply fast path to old solver too | Michael Goulet | -2/+10 |
| 2025-06-23 | Add note to find_const_ty_from_env | Michael Goulet | -2/+2 |
| 2025-06-22 | Rollup merge of #142458 - oli-obk:dyn-incompat, r=compiler-errors | Guillaume Gomez | -1/+1 |
| 2025-06-18 | Rollup merge of #142619 - klensy:or_fun_call, r=nnethercote | Jakub Beránek | -1/+1 |
| 2025-06-17 | apply clippy::or_fun_call | klensy | -1/+1 |
| 2025-06-16 | trait_sel: skip `nominal_obligations` for `Sized` | David Wood | -0/+8 |
| 2025-06-16 | trait_sel: skip elaboration of sizedness supertrait | David Wood | -6/+69 |
| 2025-06-16 | trait_sel: extend fast path with sized hierarchy | David Wood | -7/+11 |
| 2025-06-16 | trait_sel: `MetaSized` bounds in dispatchable check | David Wood | -8/+15 |
| 2025-06-16 | trait_sel: `{Meta,Pointee}Sized` on `?Sized` types | David Wood | -19/+39 |
| 2025-06-16 | trait_sel: `{Meta,Pointee}Sized` on `Sized` types | David Wood | -0/+8 |
| 2025-06-14 | Rollup merge of #141811 - mejrs:bye_locals, r=compiler-errors | Matthias Krüger | -2/+2 |
| 2025-06-13 | Rollup merge of #142441 - compiler-errors:lazier-binder-value-folding, r=lcnr | Jubilee | -151/+6 |
| 2025-06-13 | Rollup merge of #141352 - lcnr:no-builtin-preference, r=compiler-errors | Jubilee | -1/+12 |
| 2025-06-13 | TypeVisiting binders no longer requires TypeFolding its interior | Michael Goulet | -2/+2 |
| 2025-06-13 | Uplift BoundVarReplacer | Michael Goulet | -146/+1 |
| 2025-06-13 | Don't use BTreeMap for mapped_consts | Michael Goulet | -6/+6 |
| 2025-06-13 | Merge unboxed trait object error suggestion into regular dyn incompat error | Oli Scherer | -1/+1 |
| 2025-06-13 | Unimplement unsized_locals | mejrs | -2/+2 |
| 2025-06-12 | Rollup merge of #142040 - jswrenn:transmute-ty-region-generic, r=compiler-errors | Matthias Krüger | -97/+46 |
| 2025-06-11 | Auto merge of #141763 - lcnr:fixme-gamer, r=BoxyUwU | bors | -1/+1 |
| 2025-06-09 | transmutability: shift abstraction boundary | Jack Wrenn | -97/+46 |
| 2025-06-07 | Rollup merge of #142126 - compiler-errors:normalize-uv-via-relate, r=BoxyUwU | Guillaume Gomez | -4/+1 |
| 2025-06-07 | Unify normalization of terms in deeply normalize | Michael Goulet | -4/+1 |
| 2025-06-05 | Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of None | Oli Scherer | -34/+40 |
| 2025-06-03 | Add `iter` macro | Oli Scherer | -3/+19 |
| 2025-06-03 | builtin dyn impl no guide inference | lcnr | -1/+12 |
| 2025-06-03 | `FIXME(-Znext-solver)` triage | lcnr | -1/+1 |
| 2025-05-27 | Rename unpack to kind | Michael Goulet | -3/+3 |
| 2025-05-26 | Auto merge of #141605 - jieyouxu:rollup-3gjqh5l, r=jieyouxu | bors | -25/+12 |
| 2025-05-26 | Rename | Michael Goulet | -8/+8 |
| 2025-05-26 | Don't retry in pred_known_to_hold_modulo_regions in new solver, since new sol... | Michael Goulet | -1/+1 |
| 2025-05-26 | Avoid obligation construction dance with query region constraints | Michael Goulet | -23/+10 |
