| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-02-29 | Rollup merge of #121681 - jswrenn:nix-visibility-analysis, r=compiler-errors | Matthias Krüger | -2/+1 |
| 2024-02-27 | Add a couple helpers, make return types less confusing | Michael Goulet | -6/+12 |
| 2024-02-27 | safe transmute: revise safety analysis | Jack Wrenn | -2/+1 |
| 2024-02-15 | Consider principal trait ref's auto-trait super-traits in dyn upcasting | Michael Goulet | -8/+15 |
| 2024-02-13 | Rollup merge of #120549 - lcnr:errs-showcase, r=compiler-errors | Matthias Krüger | -5/+5 |
| 2024-02-13 | use alias-relate to structurally normalize in the solver | lcnr | -5/+5 |
| 2024-02-13 | Auto merge of #120919 - oli-obk:impl_polarity, r=compiler-errors | bors | -4/+7 |
| 2024-02-12 | Stop calling `impl_polarity` when `impl_trait_ref` was also called | Oli Scherer | -4/+7 |
| 2024-02-12 | Dejargnonize subst | Shoyu Vanilla | -3/+3 |
| 2024-02-08 | reviews + rebase | Boxy | -1/+0 |
| 2024-02-08 | introduce `enter_forall` | Boxy | -2/+10 |
| 2024-02-06 | Teach typeck/borrowck/solvers how to deal with async closures | Michael Goulet | -0/+60 |
| 2024-02-06 | Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs | Michael Goulet | -1/+2 |
| 2024-01-29 | merge builtin unsize candidates again | lcnr | -49/+41 |
| 2023-12-28 | Movability doesn't need to be a query anymore | Michael Goulet | -1/+1 |
| 2023-12-28 | Remove movability from TyKind::Coroutine | Michael Goulet | -7/+7 |
| 2023-12-18 | track the source of nested goals | lcnr | -23/+43 |
| 2023-12-15 | Annotate some bugs | Michael Goulet | -1/+4 |
| 2023-12-14 | update use of feature flags | lcnr | -1/+1 |
| 2023-12-08 | Implement `async gen` blocks | Michael Goulet | -0/+24 |
| 2023-11-26 | Clean dead codes | r0cky | -4/+0 |
| 2023-11-20 | handle reservation impls, track impl source | lcnr | -4/+6 |
| 2023-11-17 | Auto merge of #117278 - lcnr:try-normalize-ty, r=compiler-errors | bors | -4/+3 |
| 2023-11-13 | args~~_ref~~_may_unify | lcnr | -3/+1 |
| 2023-11-09 | `try_normalize_ty` end with rigid alias on failure | lcnr | -4/+3 |
| 2023-10-29 | Auto merge of #116447 - oli-obk:gen_fn, r=compiler-errors | bors | -1/+25 |
| 2023-10-27 | Make `gen` blocks implement the `Iterator` trait | Oli Scherer | -1/+25 |
| 2023-10-23 | Make things work by using the new solver | Michael Goulet | -0/+4 |
| 2023-10-23 | Remove FnPtr hack from trait_ref_is_knowable | Michael Goulet | -8/+19 |
| 2023-10-20 | s/generator/coroutine/ | Oli Scherer | -10/+10 |
| 2023-10-20 | s/Generator/Coroutine/ | Oli Scherer | -7/+7 |
| 2023-10-13 | explicitly handle auto trait leakage in coherence | lcnr | -2/+3 |
| 2023-09-23 | Remove GeneratorWitness and rename GeneratorWitnessMIR. | Camille GILLOT | -2/+1 |
| 2023-09-11 | inspect: strongly typed CandidateKind | lcnr | -9/+9 |
| 2023-08-15 | Rollup merge of #114829 - compiler-errors:next-solver-only-unsize-to-dyn-once... | Guillaume Gomez | -43/+51 |
| 2023-08-15 | Separate consider_unsize_to_dyn_candidate from other unsize candidates | Michael Goulet | -43/+51 |
| 2023-08-15 | Probe when assembling upcast candidates so they don't step on eachother's toes | Michael Goulet | -10/+12 |
| 2023-08-12 | normalize in `trait_ref_is_knowable` in new solver | lcnr | -38/+1 |
| 2023-08-04 | Rollup merge of #114287 - lcnr:overflow, r=compiler-errors | Michael Goulet | -32/+20 |
| 2023-08-03 | short-circuit when proj def ids differ | Michael Goulet | -9/+14 |
| 2023-08-03 | Rework upcasting | Michael Goulet | -37/+88 |
| 2023-08-03 | handle overflow in the `EvalCtxt` separately | lcnr | -22/+18 |
| 2023-08-03 | avoid more `ty::Binder:dummy` | lcnr | -10/+2 |
| 2023-07-31 | Rollup merge of #114169 - lcnr:unsize, r=compiler-errors | Matthias Krüger | -199/+245 |
| 2023-07-28 | fix comment | lcnr | -1/+1 |
| 2023-07-28 | refactor builtin unsize handling, extend comments | lcnr | -199/+245 |
| 2023-07-27 | Remove `constness` from `ParamEnv` | Deadbeef | -8/+5 |
| 2023-07-25 | Make everything builtin! | Michael Goulet | -67/+83 |
| 2023-07-25 | Consolidate trait upcasting and unsize into one normalization | Michael Goulet | -170/+213 |
| 2023-07-25 | Normalize the RHS of an unsize goal | Michael Goulet | -64/+132 |
