| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 | -31/+36 |
| 2023-09-18 | Rollup merge of #115838 - lcnr:added-goals, r=compiler-errors | Matthias Krüger | -68/+117 |
| 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-15 | Canonicalize effect vars in new solver | Michael Goulet | -2/+21 |
| 2023-09-14 | move required_consts check to general post-mono-check function | Ralf Jung | -31/+36 |
| 2023-09-14 | differentiate root and nested goals | lcnr | -25/+57 |
| 2023-09-14 | inspect: explicitly store added goals | lcnr | -1/+19 |
| 2023-09-14 | order `added_goals_evaluation` and `nested_probes` | lcnr | -24/+25 |
| 2023-09-14 | `GoalCandidate` to `Probe` | lcnr | -29/+27 |
| 2023-09-14 | Auto merge of #115751 - lcnr:inspect-cleanup, r=compiler-errors | bors | -205/+200 |
| 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 | Rollup merge of #115727 - fee1-dead-contrib:effect-fallback, r=oli-obk | Matthias Krüger | -0/+3 |
| 2023-09-11 | dedup `GoalEvaluationStep` and `GoalCandidate` | lcnr | -42/+56 |
| 2023-09-11 | inspect: strongly typed CandidateKind | lcnr | -103/+66 |
| 2023-09-11 | inspect: handle `None` in `nested` | lcnr | -27/+7 |
| 2023-09-11 | split GoalEvaluation and CanonicalGoalEvaluation | lcnr | -60/+98 |
| 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-10 | Implement fallback for effect param | Deadbeef | -0/+3 |
| 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-05 | Rollup merge of #115519 - compiler-errors:next-solver-assoc-ice, r=lcnr | Matthias Krüger | -1/+15 |
| 2023-09-05 | Auto merge of #115467 - compiler-errors:assoc-ty-object-safety, r=oli-obk | bors | -0/+9 |
| 2023-09-03 | Don't ICE on associated type projection without feature gate | Michael Goulet | -1/+15 |
| 2023-09-02 | Do not require associated types with Self: Sized to uphold bounds when confir... | Michael Goulet | -6/+6 |
| 2023-09-02 | RPITITs are considered object-safe, they're always on Self:Sized methods | Michael Goulet | -0/+9 |
| 2023-09-02 | Signed-off-by: cui fliter <imcusg@gmail.com> | cui fliter | -1/+1 |
| 2023-09-01 | Auto merge of #113201 - oli-obk:recursive_type_alias, r=estebank,compiler-errors | bors | -1/+20 |
| 2023-08-31 | Rollup merge of #115373 - lqd:come-on-bors, r=compiler-errors | Matthias Krüger | -5/+1 |
| 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-30 | clean up `local_overflow_limit` computation | Rémy Rakic | -5/+1 |
| 2023-08-29 | handle edge-case of a recursion limit of 0 | Rémy Rakic | -1/+5 |
| 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 |
