| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-09-21 | review | lcnr | -78/+75 |
| 2023-09-21 | HACK: avoid hang in structurally_normalize | lcnr | -3/+9 |
| 2023-09-21 | proof trees: use for `intercrate_ambiguity_causes` | lcnr | -92/+239 |
| 2023-09-20 | remove `impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for PolyProjectionPredicat... | Ziru Niu | -1/+1 |
| 2023-09-19 | rustc_hir_analysis: add a helper to check function the signature mismatches | Eduardo Sánchez Muñoz | -0/+1 |
| 2023-09-19 | Explain HRTB + infer limitations of old solver | Michael Goulet | -0/+75 |
| 2023-09-18 | Auto merge of #115748 - RalfJung:post-mono, r=oli-obk | bors | -29/+32 |
| 2023-09-18 | Remove unused `Lift` derives. | Nicholas Nethercote | -2/+2 |
| 2023-09-17 | Auto merge of #114452 - weiznich:feature/diagnostic_on_unimplemented, r=compi... | bors | -25/+84 |
| 2023-09-14 | move required_consts check to general post-mono-check function | Ralf Jung | -29/+32 |
| 2023-09-13 | make the set of methods between our two Const types more consistent | Ralf Jung | -1/+1 |
| 2023-09-13 | make the eval() functions on our const types return the resulting value | Ralf Jung | -4/+4 |
| 2023-09-12 | `#[diagnostic::on_unimplemented]` without filters | Georg Semmler | -25/+84 |
| 2023-09-11 | Auto merge of #114586 - oli-obk:patch_tait_rpit_order_check, r=lcnr,compiler-... | bors | -4/+42 |
| 2023-09-11 | Bubble up opaque <eq> opaque operations instead of picking an order | Oli Scherer | -4/+42 |
| 2023-09-11 | Rollup merge of #115743 - compiler-errors:no-impls, r=davidtwco | Matthias Krüger | -5/+19 |
| 2023-09-11 | Disentangle `Debug` and `Display` for `Ty`. | Nicholas Nethercote | -1/+1 |
| 2023-09-10 | Point out if a local trait has no implementations | Michael Goulet | -5/+19 |
| 2023-09-07 | Don't suggest dereferencing to unsized type | Michael Goulet | -1/+14 |
| 2023-09-06 | Auto merge of #115529 - chenyukang:yukang-fix-115402-overflowsize, r=compiler... | bors | -0/+10 |
| 2023-09-06 | Fix error report for size overflow from transmute | yukang | -0/+10 |
| 2023-09-05 | unconstrained region vars: do not ICE ICE baby | lcnr | -9/+5 |
| 2023-09-02 | Do not require associated types with Self: Sized to uphold bounds when confir... | Michael Goulet | -3/+3 |
| 2023-09-02 | RPITITs are considered object-safe, they're always on Self:Sized methods | Michael Goulet | -0/+3 |
| 2023-09-01 | Auto merge of #113201 - oli-obk:recursive_type_alias, r=estebank,compiler-errors | bors | -1/+20 |
| 2023-08-30 | Don't record spans for predicates in coherence | Michael Goulet | -19/+11 |
| 2023-08-30 | Permit recursive weak type aliases | Oli Scherer | -1/+20 |
| 2023-08-28 | Auto merge of #115326 - matthiaskrgr:rollup-qsoa8ar, r=matthiaskrgr | bors | -20/+9 |
| 2023-08-28 | Rollup merge of #115322 - estebank:list-tweak, r=compiler-errors | Matthias Krüger | -9/+3 |
| 2023-08-28 | Rollup merge of #115311 - dtolnay:usearcself, r=compiler-errors | Matthias Krüger | -6/+0 |
| 2023-08-28 | Rollup merge of #115294 - compiler-errors:cycle-err, r=oli-obk | Matthias Krüger | -5/+6 |
| 2023-08-28 | Tweak output of `to_pretty_impl_header` involving only anon lifetimes | Esteban Küber | -9/+3 |
| 2023-08-28 | Revert "Suggest using `Arc` on `!Send`/`!Sync` types" | David Tolnay | -6/+0 |
| 2023-08-28 | Better error message for object type with GAT | Michael Goulet | -1/+1 |
| 2023-08-27 | More precisely detect cycle errors from type_of on opaque | Michael Goulet | -5/+6 |
| 2023-08-18 | Add an (perma-)unstable option to disable vtable vptr | Gary Guo | -1/+1 |
| 2023-08-18 | Auto merge of #114611 - nnethercote:type-system-chess, r=compiler-errors | bors | -9/+4 |
| 2023-08-15 | Rollup merge of #114819 - estebank:issue-78124, r=compiler-errors | Matthias Krüger | -1/+1 |
| 2023-08-15 | more nits | Michael Goulet | -17/+49 |
| 2023-08-15 | Reuse the selection context, compute failing obligations first in ambig mode | Michael Goulet | -88/+78 |
| 2023-08-15 | nits | Michael Goulet | -3/+3 |
| 2023-08-15 | Implement lint against coinductive impl overlap | Michael Goulet | -6/+75 |
| 2023-08-15 | more span info | Michael Goulet | -7/+9 |
| 2023-08-14 | Point at return type when it influences non-first `match` arm | Esteban Küber | -1/+1 |
| 2023-08-14 | Remove constness from `ImplSource::Param` | Deadbeef | -4/+3 |
| 2023-08-13 | Auto merge of #114457 - lcnr:trait_ref_is_knowable-normalize, r=compiler-errors | bors | -26/+44 |
| 2023-08-12 | normalize in `trait_ref_is_knowable` in new solver | lcnr | -26/+44 |
| 2023-08-11 | remove builtin impl for float and int infer | lcnr | -5/+2 |
| 2023-08-10 | Comment nits | Michael Goulet | -1/+1 |
| 2023-08-09 | Suggest using `Arc` on `!Send`/`!Sync` types | Esteban Kuber | -0/+6 |
