| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-03-30 | Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>` | Scott McMurray | -0/+1 |
| 2023-03-21 | remove some trait solver helpers | lcnr | -28/+16 |
| 2023-03-15 | always make `define_opaque_types` explicit | lcnr | -11/+10 |
| 2023-03-06 | Do not ICE when we have fn pointer Fn obligations with bound vars in the self... | Michael Goulet | -3/+11 |
| 2023-02-24 | Rename many interner functions. | Nicholas Nethercote | -6/+7 |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -1/+1 |
| 2023-02-21 | Make hidden type registration opt-in, so that each site can be reviewed on it... | Oli Scherer | -0/+2 |
| 2023-02-17 | Avoid double-interning some `BoundVariableKind`s. | Nicholas Nethercote | -2/+0 |
| 2023-02-17 | Replace more `mk_foo` calls with `infer_foo`. | Nicholas Nethercote | -2/+2 |
| 2023-02-17 | Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwU | bors | -2/+4 |
| 2023-02-16 | changes from review | Kyle Matsuda | -1/+3 |
| 2023-02-16 | remove bound_type_of query; make type_of return EarlyBinder; change type_of i... | Kyle Matsuda | -2/+2 |
| 2023-02-16 | change usages of type_of to bound_type_of | Kyle Matsuda | -1/+1 |
| 2023-02-16 | Clarify `DerivedObligationCause` may hold alias id | Alan Egerton | -1/+1 |
| 2023-02-15 | Add specialized variants of `mk_region`. | Nicholas Nethercote | -2/+2 |
| 2023-02-13 | Reduce direct `mk_ty` usage. | Nicholas Nethercote | -2/+2 |
| 2023-02-07 | Replacing bound vars is actually instantiating a binder | Michael Goulet | -6/+6 |
| 2023-02-06 | Rollup merge of #106477 - Nathan-Fenner:nathanf/refined-error-span-trait-impl... | Matthias Krüger | -0/+1 |
| 2023-01-30 | Track bound types like bound regions | Michael Goulet | -1/+1 |
| 2023-01-30 | Rollup merge of #107146 - compiler-errors:unsizing-params, r=cjgillot | Dylan DPC | -44/+10 |
| 2023-01-28 | Make unsizing_params_for_adt into a query | Michael Goulet | -44/+10 |
| 2023-01-28 | Rename `is_object_safe` to `check_is_object_safe` to hint side effects | Gary Guo | -1/+1 |
| 2023-01-27 | Compute generator saved locals on MIR. | Camille GILLOT | -3/+8 |
| 2023-01-27 | Introduce GeneratorWitnessMIR. | Camille GILLOT | -0/+3 |
| 2023-01-23 | Point at specific field in struct literal when trait fulfillment fails | Nathan Fenner | -0/+1 |
| 2023-01-17 | Rollup merge of #106970 - kylematsuda:earlybinder-item-bounds, r=lcnr | Matthias Krüger | -3/+2 |
| 2023-01-17 | Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726 | Matthias Krüger | -3/+3 |
| 2023-01-17 | change item_bounds query to return EarlyBinder; remove bound_item_bounds query | Kyle Matsuda | -3/+2 |
| 2023-01-17 | Remove double spaces after dots in comments | Maybe Waffle | -3/+3 |
| 2023-01-15 | instantiate_own doesn't need to return a pair of vectors | Michael Goulet | -3/+2 |
| 2023-01-12 | attempt to make a minimal example work | Deadbeef | -1/+1 |
| 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/+19 |
| 2022-12-14 | Ensure no one constructs `AliasTy`s themselves | Oli Scherer | -1/+1 |
| 2022-12-13 | Combine identical alias arms | Michael Goulet | -2/+1 |
| 2022-12-13 | Combine projection and opaque into alias | Michael Goulet | -4/+4 |
| 2022-12-13 | squash OpaqueTy and ProjectionTy into AliasTy | Michael Goulet | -1/+1 |
| 2022-12-13 | ProjectionTy.item_def_id -> ProjectionTy.def_id | Michael Goulet | -1/+1 |
| 2022-12-13 | Use ty::OpaqueTy everywhere | Michael Goulet | -1/+1 |
| 2022-12-08 | Move vtable methods into its own module | Michael Goulet | -5/+8 |
| 2022-11-28 | Rollup merge of #104907 - compiler-errors:selcx-infcx, r=oli-obk | Dylan DPC | -2/+2 |
| 2022-11-27 | Rename `fn_trait_kind_from_{from_lang=>def_id}` to better convey meaning | Maybe Waffle | -1/+1 |
| 2022-11-25 | Remove SelectionContext::infcx() in favor of field access | Michael Goulet | -2/+2 |
| 2022-11-25 | Auto merge of #104902 - matthiaskrgr:rollup-oo27a4u, r=matthiaskrgr | bors | -12/+5 |
| 2022-11-25 | Rollup merge of #104716 - lcnr:selection-candidate, r=jackh726 | Matthias Krüger | -12/+5 |
| 2022-11-25 | Auto merge of #104846 - spastorino:santa-clauses-make-goals-early-christmas-ð... | bors | -6/+1 |
| 2022-11-25 | move 2 candidates into builtin candidate | lcnr | -12/+5 |
| 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 |
