| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-10-12 | Shallowly match opaque key in storage | Michael Goulet | -43/+42 |
| 2024-10-11 | remove outdated FIXMEs | lcnr | -15/+4 |
| 2024-10-10 | Auto merge of #131263 - compiler-errors:solver-relating, r=lcnr | bors | -51/+3 |
| 2024-10-10 | impossible obligations check fast path | lcnr | -21/+62 |
| 2024-10-10 | Use SolverRelating in favor of TypeRelating in the old solver where possible | Michael Goulet | -1/+1 |
| 2024-10-10 | Use SolverRelating in new solver | Michael Goulet | -0/+2 |
| 2024-10-10 | Uplift super_combine | Michael Goulet | -50/+0 |
| 2024-10-02 | Auto merge of #130821 - lcnr:nalgebra-hang-2, r=compiler-errors | bors | -124/+190 |
| 2024-10-02 | review | lcnr | -12/+17 |
| 2024-10-01 | add caches to multiple type folders | lcnr | -15/+47 |
| 2024-09-30 | canonicalizer: rm region uniquification, add caching | lcnr | -109/+138 |
| 2024-09-28 | Rollup merge of #130866 - compiler-errors:dyn-instantiate-binder, r=lcnr | Matthias Krüger | -27/+38 |
| 2024-09-27 | Instantiate binders when checking supertrait upcasting | Michael Goulet | -27/+38 |
| 2024-09-26 | Check allow instantiating object trait binder when upcasting and in new solver | Michael Goulet | -3/+3 |
| 2024-09-25 | Compiler: Rename "object safe" to "dyn compatible" | León Orell Valerian Liehr | -8/+8 |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -92/+68 |
| 2024-09-20 | add comment | lcnr | -0/+4 |
| 2024-09-20 | bail if there are too many non-region infer vars | lcnr | -0/+7 |
| 2024-09-12 | Rollup merge of #130273 - lcnr:overflow-no-constraints, r=compiler-errors | Matthias Krüger | -26/+22 |
| 2024-09-12 | more eagerly discard constraints on overflow | lcnr | -26/+22 |
| 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-12 | rustc_next_trait_solver: derivative -> derive-where | Pavel Grigorenko | -24/+17 |
| 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 |
