| Age | Commit message (Expand) | Author | Lines |
| 2025-05-09 | Review | Michael Goulet | -1/+1 |
| 2025-05-09 | Only include associated type bounds for Self:Sized associated types if they a... | Michael Goulet | -3/+46 |
| 2025-03-24 | Allow WellFormed goals to be returned from relating in new solver | Michael Goulet | -0/+48 |
| 2025-03-14 | Do not suggest using `-Zmacro-backtrace` for builtin macros | Esteban Küber | -23/+0 |
| 2025-03-13 | Auto merge of #138249 - compiler-errors:auto-self, r=lcnr | bors | -28/+3 |
| 2025-03-13 | Auto merge of #138416 - Manishearth:rollup-fejor9p, r=Manishearth | bors | -2/+2 |
| 2025-03-12 | Rollup merge of #138357 - lcnr:goodbye-TypeVerifier-rarw, r=compiler-errors | Manish Goregaokar | -2/+2 |
| 2025-03-12 | Rollup merge of #137314 - lcnr:cycles-with-unknown-kind, r=compiler-errors | Matthias Krüger | -119/+80 |
| 2025-03-11 | change `TypeChecker` to a MIR visitor | lcnr | -2/+2 |
| 2025-03-11 | Implement `#[define_opaque]` attribute for functions. | Oli Scherer | -24/+36 |
| 2025-03-09 | Rollup merge of #136968 - oli-obk:bye-bye, r=compiler-errors | Matthias Krüger | -99/+23 |
| 2025-03-09 | Do not register `Self: AutoTrait` when confirming auto trait | Michael Goulet | -28/+3 |
| 2025-03-06 | Rollup merge of #137764 - compiler-errors:always-applicable-negative-impl, r=... | Michael Goulet | -0/+98 |
| 2025-03-06 | Rollup merge of #137637 - compiler-errors:dyn-cast-from-dyn-star, r=oli-obk | Michael Goulet | -0/+19 |
| 2025-03-05 | Rollup merge of #137728 - Darksonn:no-tuple-unsize, r=oli-obk | 许杰友 Jieyou Xu (Joe) | -6/+0 |
| 2025-03-05 | keep inductive cycles as ambig in coherence | lcnr | -0/+32 |
| 2025-03-05 | change definitely non-productive cycles to error | lcnr | -119/+48 |
| 2025-03-04 | Make rustdoc tests use always applicable negative auto impls | Michael Goulet | -0/+98 |
| 2025-03-04 | tests: remove explicit long type filename hash normalization from some ui tests | 许杰友 Jieyou Xu (Joe) | -4/+2 |
| 2025-03-01 | Check dyn flavor before registering upcast goal on wide pointer cast in MIR t... | Michael Goulet | -0/+19 |
| 2025-02-28 | add test using only trait bounds | lcnr | -0/+48 |
| 2025-02-28 | review | lcnr | -2/+10 |
| 2025-02-28 | add test for newly supported behavior | lcnr | -0/+43 |
| 2025-02-28 | normalizing where-clauses is also coinductive, add tests | lcnr | -2/+142 |
| 2025-02-28 | remove useless tests | lcnr | -238/+0 |
| 2025-02-27 | Delete tuple unsizing | Alice Ryhl | -6/+0 |
| 2025-02-27 | require trait impls to have matching const stabilities as the traits | Deadbeef | -1/+100 |
| 2025-02-26 | Rollup merge of #137613 - davidtwco:const-traits-variances, r=compiler-errors | León Orell Valerian Liehr | -0/+21 |
| 2025-02-26 | Rollup merge of #137604 - davidtwco:host-effect-resolve-vars, r=compiler-errors | León Orell Valerian Liehr | -0/+36 |
| 2025-02-25 | Don't require method impls for methods with `Self:Sized` bounds for impls for... | Oli Scherer | -11/+51 |
| 2025-02-24 | Consolidate and rework CoercePointee and DispatchFromDyn errors | Michael Goulet | -2/+2 |
| 2025-02-24 | hir_analysis: skip self type of host effect preds | David Wood | -3/+2 |
| 2025-02-24 | tests: add variance test for const traits | David Wood | -0/+22 |
| 2025-02-24 | trait_sel: resolve vars in host effects | David Wood | -0/+36 |
| 2025-02-21 | Do not deduplicate list of associated types provided by dyn principal | Michael Goulet | -3/+145 |
| 2025-02-20 | Turn order dependent trait objects future incompat warning into a hard error | Oli Scherer | -99/+23 |
| 2025-02-19 | Rollup merge of #137232 - estebank:from-residual-note, r=petrochenkov | Matthias Krüger | -3/+4 |
| 2025-02-19 | Rollup merge of #137059 - xizheyin:issue-136827, r=davidtwco | Matthias Krüger | -2/+2 |
| 2025-02-18 | Don't mention `FromResidual` on bad `?` | Esteban Küber | -3/+4 |
| 2025-02-17 | Deeply normalize associated type bounds before proving them | Michael Goulet | -22/+32 |
| 2025-02-15 | fix: Alloc new errorcode E0803 for E0495 | xizheyin | -2/+2 |
| 2025-02-14 | Rollup merge of #136958 - compiler-errors:additive-replacmeent, r=estebank | Matthias Krüger | -21/+14 |
| 2025-02-14 | Trim suggestion parts to the subset that is purely additive | Michael Goulet | -7/+7 |
| 2025-02-14 | Consider add-prefix replacements too | Michael Goulet | -12/+8 |
| 2025-02-14 | Use underline suggestions for purely 'additive' replacements | Michael Goulet | -9/+6 |
| 2025-02-14 | Auto merge of #137010 - workingjubilee:rollup-g00c07v, r=workingjubilee | bors | -0/+18 |
| 2025-02-13 | Rollup merge of #136951 - compiler-errors:clause-binder, r=lqd | Jubilee | -0/+18 |
| 2025-02-14 | fallout :skull_emoji: | lcnr | -11/+64 |
| 2025-02-14 | eagerly prove WF when resolving fully qualified paths | lcnr | -0/+39 |
| 2025-02-12 | Rollup merge of #135841 - oli-obk:push-qxlnokwrkkym, r=compiler-errors | Jacob Pratt | -17/+15 |