| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-01-08 | Add type flags support for Ty and Const late-bound regions | Michael Goulet | -4/+3 |
| 2023-01-04 | Split `-Zchalk` flag into `-Ztrait-solver=(stock|chalk|next)` flag | Michael Goulet | -2/+2 |
| 2022-12-28 | Allow trait method paths to satisfy const Fn bounds | Deadbeef | -7/+27 |
| 2022-12-19 | implement the skeleton of the updated trait solver | lcnr | -13/+1 |
| 2022-12-14 | Ensure no one constructs `AliasTy`s themselves | Oli Scherer | -3/+3 |
| 2022-12-14 | Guard `AliasTy` creation against passing the wrong number of substs | Oli Scherer | -1/+1 |
| 2022-12-13 | Combine identical alias arms | Michael Goulet | -15/+8 |
| 2022-12-13 | Combine projection and opaque into alias | Michael Goulet | -16/+19 |
| 2022-12-13 | squash OpaqueTy and ProjectionTy into AliasTy | Michael Goulet | -8/+5 |
| 2022-12-13 | ProjectionTy.item_def_id -> ProjectionTy.def_id | Michael Goulet | -4/+4 |
| 2022-12-13 | Use ty::OpaqueTy everywhere | Michael Goulet | -4/+4 |
| 2022-12-08 | Move vtable methods into its own module | Michael Goulet | -5/+8 |
| 2022-12-06 | Avoid noting cause code (which is usually misc, b/c codegen) for opaque type ... | Michael Goulet | -10/+3 |
| 2022-12-04 | Auto merge of #105094 - Swatinem:generator-not-future, r=compiler-errors | bors | -1/+5 |
| 2022-12-03 | Don't add a note for implementing a trait if its inner type is erroneous | bhbs | -15/+20 |
| 2022-11-30 | Make sure async constructs do not `impl Generator` | Arpad Borsos | -1/+5 |
| 2022-11-29 | Rollup merge of #105066 - lcnr:mv-candidate_from_obligation, r=compiler-errors | Matthias Krüger | -210/+207 |
| 2022-11-29 | move `candidate_from_obligation` out of assembly | lcnr | -210/+207 |
| 2022-11-29 | Explain why rematch_impl fails to be infallible | Michael Goulet | -0/+7 |
| 2022-11-28 | Simplify checking for `GeneratorKind::Async` | Arpad Borsos | -3/+1 |
| 2022-11-28 | Rollup merge of #104907 - compiler-errors:selcx-infcx, r=oli-obk | Dylan DPC | -20/+13 |
| 2022-11-27 | Add `TyCtxt::is_fn_trait` | Maybe Waffle | -1/+1 |
| 2022-11-27 | Rename `fn_trait_kind_from_{from_lang=>def_id}` to better convey meaning | Maybe Waffle | -3/+3 |
| 2022-11-25 | Remove SelectionContext::infcx() in favor of field access | Michael Goulet | -20/+13 |
| 2022-11-25 | Auto merge of #99798 - JulianKnodt:ac1, r=BoxyUwU | bors | -11/+55 |
| 2022-11-25 | Auto merge of #104902 - matthiaskrgr:rollup-oo27a4u, r=matthiaskrgr | bors | -28/+9 |
| 2022-11-25 | Rollup merge of #104716 - lcnr:selection-candidate, r=jackh726 | Matthias Krüger | -28/+9 |
| 2022-11-25 | Auto merge of #104846 - spastorino:santa-clauses-make-goals-early-christmas-ð... | bors | -18/+13 |
| 2022-11-25 | move 2 candidates into builtin candidate | lcnr | -28/+9 |
| 2022-11-25 | Make `expand_abstract_consts` infallible | Boxy | -4/+2 |
| 2022-11-25 | also handle it in evaluate | Boxy | -24/+51 |
| 2022-11-25 | fmt | Boxy | -16/+18 |
| 2022-11-25 | Add expand_abstract_const | kadmin | -11/+8 |
| 2022-11-25 | Add empty ConstKind::Abstract | kadmin | -4/+24 |
| 2022-11-25 | Introduce PredicateKind::Clause | Santiago Pastorino | -6/+10 |
| 2022-11-25 | Simplify a bunch of trait ref obligation creations | Oli Scherer | -6/+2 |
| 2022-11-25 | get rid of to_poly_trait_predicate | Oli Scherer | -6/+1 |
| 2022-11-24 | Remove comment, simplify since we asserted fn ptr Self type has no bound vars | Michael Goulet | -10/+1 |
| 2022-11-24 | Also check that fn pointer candidates don't have escaping bound vars | Michael Goulet | -1/+4 |
| 2022-11-24 | Assert that we don't capture escaping bound vars in Fn trait selection | Michael Goulet | -10/+17 |
| 2022-11-24 | Auto merge of #104321 - Swatinem:async-gen, r=oli-obk | bors | -33/+86 |
| 2022-11-24 | Avoid `GenFuture` shim when compiling async constructs | Arpad Borsos | -33/+86 |
| 2022-11-24 | Rollup merge of #104742 - WaffleLapkin:forbidden-SUPER-deref, r=compiler-errors | Matthias Krüger | -12/+0 |
| 2022-11-24 | Disable dyn* upcasting | Michael Goulet | -7/+6 |
| 2022-11-23 | Make `deref_into_dyn_supertrait` lint the impl and not the usage | Maybe Waffle | -12/+0 |
| 2022-11-22 | Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnr | Manish Goregaokar | -36/+13 |
| 2022-11-22 | Auto merge of #104696 - matthiaskrgr:rollup-gi1pdb0, r=matthiaskrgr | bors | -32/+27 |
| 2022-11-22 | Rollup merge of #104597 - compiler-errors:need_migrate_deref_output_trait_obj... | Matthias Krüger | -32/+27 |
| 2022-11-21 | Stop passing the self-type as a separate argument. | Oli Scherer | -23/+15 |
| 2022-11-21 | Add helper to create the trait ref for a lang item | Oli Scherer | -11/+8 |
