| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-06-18 | Uplift the new trait solver | Michael Goulet | -1181/+0 |
| 2024-06-18 | SolverDelegate | Michael Goulet | -29/+29 |
| 2024-06-16 | Auto merge of #126505 - compiler-errors:no-vtable, r=lcnr | bors | -18/+14 |
| 2024-06-15 | Rollup merge of #126496 - compiler-errors:more-generics, r=lcnr | Guillaume Gomez | -32/+32 |
| 2024-06-14 | Only compute vtable information during codegen | Michael Goulet | -18/+14 |
| 2024-06-14 | Add TyCtxt::is_lang_item | Michael Goulet | -11/+10 |
| 2024-06-14 | Make Candidate generic over interner | Michael Goulet | -32/+32 |
| 2024-06-03 | check_is_object_safe -> is_object_safe | Michael Goulet | -1/+1 |
| 2024-06-01 | Deduplicate supertrait_def_ids code | Mark Rousskov | -3/+2 |
| 2024-05-28 | EvalCtxt::tcx() -> EvalCtxt::interner() | Michael Goulet | -24/+27 |
| 2024-05-19 | Make EvalCtxt generic over interner | Michael Goulet | -28/+29 |
| 2024-05-18 | Uplift inspect into rustc_type_ir | Michael Goulet | -3/+3 |
| 2024-05-16 | Rename ToPredicate for Upcast | Michael Goulet | -4/+4 |
| 2024-05-13 | Remove `extern crate rustc_middle` from `rustc_trait_selection`. | Nicholas Nethercote | -0/+1 |
| 2024-05-12 | solve: replace all `debug` with `trace` | lcnr | -2/+2 |
| 2024-05-10 | Lift `TraitRef` into `rustc_type_ir` | Michael Goulet | -3/+7 |
| 2024-05-06 | Record impl args in the InsepctCandiate rather than rematching during select | Michael Goulet | -0/+1 |
| 2024-05-02 | Record more kinds of things as impl where bounds | Michael Goulet | -2/+3 |
| 2024-04-29 | Actually use probes when needed and stop relying on existing outer probes | Michael Goulet | -165/+197 |
| 2024-04-29 | Make names more accurate | Michael Goulet | -3/+8 |
| 2024-04-25 | Remove special-casing for SimplifiedType for next solver | Michael Goulet | -7/+9 |
| 2024-04-16 | Add simple async drop glue generation | zetanumbers | -0/+12 |
| 2024-04-08 | Auto merge of #122077 - oli-obk:eager_opaque_checks4, r=lcnr | bors | -4/+1 |
| 2024-04-08 | Avoid fetching the opaque type origin when only "is this in the defining scop... | Oli Scherer | -4/+1 |
| 2024-04-08 | Actually create ranged int types in the type system. | Oli Scherer | -0/+1 |
| 2024-03-22 | Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgr | bors | -33/+35 |
| 2024-03-22 | Split out ImplPolarity and PredicatePolarity | Michael Goulet | -33/+35 |
| 2024-03-22 | Programmatically convert some of the pat ctors | Michael Goulet | -1/+1 |
| 2024-03-22 | Implement `FusedIterator` for `gen` block | Shoyu Vanilla | -0/+22 |
| 2024-03-14 | Rollup merge of #122238 - fee1-dead-contrib:builtin-impl-next-solver-dox, r=lcnr | Matthias Krüger | -0/+8 |
| 2024-03-14 | move impl documentation to their actual locations | Deadbeef | -33/+2 |
| 2024-03-09 | Document some builtin impls in the next solver | Deadbeef | -0/+39 |
| 2024-03-07 | Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader` | Yoshitomo Nakanishi | -3/+3 |
| 2024-03-06 | remove outdated fixme comment | Deadbeef | -1/+0 |
| 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 |
