| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-09-12 | Rollup merge of #130250 - compiler-errors:useless-conversion, r=jieyouxu | Stuart Cook | -1/+0 |
| 2024-09-11 | clippy::useless_conversion | Michael Goulet | -1/+0 |
| 2024-09-11 | Simplify some nested if statements | Michael Goulet | -4/+2 |
| 2024-09-06 | Auto merge of #128776 - Bryanskiy:deep-reject-ctxt, r=lcnr | bors | -4/+17 |
| 2024-09-03 | do not attempt to prove unknowable goals | lcnr | -34/+32 |
| 2024-09-02 | Rollup merge of #129877 - Sajjon:sajjon_fix_typos_batch_2, r=fee1-dead | Matthias Krüger | -3/+3 |
| 2024-09-02 | Use `DeepRejectCtxt` to quickly reject `ParamEnv` candidates | Bryanskiy | -4/+17 |
| 2024-09-02 | chore: Fix typos in 'compiler' (batch 2) | Alexander Cyon | -3/+3 |
| 2024-09-01 | Deny imports of rustc_type_ir::inherent outside of type ir + new trait solver | Michael Goulet | -0/+1 |
| 2024-08-29 | Add `warn(unreachable_pub)` to `rustc_next_trait_solver`. | Nicholas Nethercote | -26/+37 |
| 2024-08-27 | safe transmute: Rename `BikeshedIntrinsicFrom` to `TransmuteFrom` | Jack Wrenn | -1/+1 |
| 2024-08-14 | Rollup merge of #128828 - lcnr:search-graph-11, r=compiler-errors | 许杰友 Jieyou Xu (Joe) | -114/+58 |
| 2024-08-13 | implement a performant and fuzzed solver cache | lcnr | -21/+31 |
| 2024-08-12 | expand fuzzing support | lcnr | -0/+9 |
| 2024-08-12 | do not use the global solver cache for proof trees | lcnr | -94/+19 |
| 2024-08-12 | Remove some unnecessary `skip_binder` calls. | Nicholas Nethercote | -2/+2 |
| 2024-08-09 | Shrink `TyKind::FnPtr`. | Nicholas Nethercote | -9/+10 |
| 2024-08-08 | Don't implement AsyncFn for FnDef/FnPtr that wouldnt implement Fn | Michael Goulet | -21/+39 |
| 2024-08-05 | Elaborate supertraits in dyn candidates | Michael Goulet | -6/+14 |
| 2024-08-05 | Enforce supertrait outlives obligations hold when confirming impl | Michael Goulet | -0/+13 |
| 2024-07-30 | Rollup merge of #127574 - lcnr:coherence-check-supertrait, r=compiler-errors | Matthias Krüger | -0/+12 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -12/+10 |
| 2024-07-26 | Make coroutine-closures possible to be cloned | Michael Goulet | -1/+4 |
| 2024-07-25 | Auto merge of #127042 - GrigorenkoPV:derivative, r=compiler-errors | bors | -25/+18 |
| 2024-07-15 | Use dep: for crate dependencies | Michael Goulet | -3/+3 |
| 2024-07-12 | rustc_next_trait_solver: derivative -> derive-where | Pavel Grigorenko | -25/+18 |
| 2024-07-12 | enable fuzzing of `SearchGraph` | lcnr | -592/+114 |
| 2024-07-10 | elaborate unknowable goals | lcnr | -0/+12 |
| 2024-07-10 | Rollup merge of #127508 - lcnr:search-graph-prep, r=compiler-errors | Jacob Pratt | -34/+32 |
| 2024-07-09 | cycle_participants to nested_goals | lcnr | -11/+11 |
| 2024-07-09 | use `update_parent_goal` for lazy updates | lcnr | -20/+10 |
| 2024-07-09 | exhaustively destructure external constraints | lcnr | -3/+11 |
| 2024-07-08 | Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr | 许杰友 Jieyou Xu (Joe) | -12/+8 |
| 2024-07-07 | Finish uplifting supertraits | Michael Goulet | -8/+3 |
| 2024-07-07 | Get rid of the redundant elaboration in middle | Michael Goulet | -3/+2 |
| 2024-07-07 | Uplift elaboration | Michael Goulet | -1/+3 |
| 2024-07-07 | Get rid of trait_ref_is_knowable from delegate | Michael Goulet | -10/+3 |
| 2024-07-07 | Uplift trait_ref_is_knowable and friends | Michael Goulet | -0/+470 |
| 2024-07-06 | Uplift PredicateEmittingRelation first | Michael Goulet | -0/+50 |
| 2024-07-05 | Split SolverDelegate back out from InferCtxtLike | Michael Goulet | -93/+14 |
| 2024-07-03 | Rollup merge of #127145 - compiler-errors:as_lang_item, r=lcnr | Matthias Krüger | -41/+76 |
| 2024-07-02 | Make fn traits into first-class TraitSolverLangItems to avoid needing fn_trai... | Michael Goulet | -4/+26 |
| 2024-07-02 | add TyCtxt::as_lang_item, use in new solver | Michael Goulet | -37/+50 |
| 2024-07-02 | Rollup merge of #127146 - compiler-errors:fast-reject, r=lcnr | Matthias Krüger | -2/+5 |
| 2024-06-30 | Uplift fast rejection to new solver | Michael Goulet | -2/+5 |
| 2024-06-29 | Auto merge of #120639 - fee1-dead-contrib:new-effects-desugaring, r=oli-obk | bors | -0/+110 |
| 2024-06-28 | address review comments | Deadbeef | -7/+11 |
| 2024-06-28 | finishing touches, move fixed ICEs to ui tests | Deadbeef | -4/+4 |
| 2024-06-28 | general fixups and turn `TODO`s into `FIXME`s | Deadbeef | -5/+4 |
| 2024-06-28 | Implement `Min` trait in new solver | Deadbeef | -0/+107 |
