| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-01-17 | Rollup merge of #106970 - kylematsuda:earlybinder-item-bounds, r=lcnr | Matthias Krüger | -4/+3 |
| 2023-01-17 | Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726 | Matthias Krüger | -9/+9 |
| 2023-01-17 | change item_bounds query to return EarlyBinder; remove bound_item_bounds query | Kyle Matsuda | -4/+3 |
| 2023-01-17 | Remove double spaces after dots in comments | Maybe Waffle | -9/+9 |
| 2023-01-15 | Remove bound_{explicit,}_item_bounds | Michael Goulet | -7/+6 |
| 2023-01-15 | instantiate_own doesn't need to return a pair of vectors | Michael Goulet | -3/+2 |
| 2023-01-14 | change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re... | Kyle Matsuda | -2/+2 |
| 2023-01-13 | Auto merge of #106004 - fee1-dead-contrib:const-closures, r=oli-obk | bors | -16/+20 |
| 2023-01-12 | fix fmt and bless | Deadbeef | -6/+2 |
| 2023-01-12 | attempt to make a minimal example work | Deadbeef | -16/+24 |
| 2023-01-11 | Filter impl and where-clause candidates that reference errors | Michael Goulet | -1/+5 |
| 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 |
