| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-12-08 | Move codegen_select_candidate to a rustc_traits | Michael Goulet | -2/+0 |
| 2022-12-08 | Move vtable methods into its own module | Michael Goulet | -363/+4 |
| 2022-12-08 | Move has_structural_eq_impls provider to rustc_ty_utils | Michael Goulet | -1/+0 |
| 2022-12-06 | drive-by: Default param for ToPredicate | Michael Goulet | -1/+1 |
| 2022-12-01 | Document normalization methods on At | Michael Goulet | -1/+0 |
| 2022-11-28 | Make ObligationCtxt::normalize take cause by borrow | Michael Goulet | -3/+3 |
| 2022-11-28 | Make normalize and normalize_to pub(crate) | Michael Goulet | -1/+2 |
| 2022-11-28 | partially_normalize_... -> At::normalize | Michael Goulet | -1/+1 |
| 2022-11-25 | Auto merge of #99798 - JulianKnodt:ac1, r=BoxyUwU | bors | -4/+0 |
| 2022-11-25 | Add empty ConstKind::Abstract | kadmin | -4/+0 |
| 2022-11-25 | Introduce PredicateKind::Clause | Santiago Pastorino | -1/+4 |
| 2022-11-25 | get rid of to_poly_trait_predicate | Oli Scherer | -1/+1 |
| 2022-11-23 | Call fully_solve_obligations instead of repeating code | Santiago Pastorino | -6/+11 |
| 2022-11-23 | Use ObligationCtxt intead of dyn TraitEngine | Santiago Pastorino | -10/+9 |
| 2022-11-21 | Stop passing the self-type as a separate argument. | Oli Scherer | -2/+2 |
| 2022-11-21 | For lcnr | Oli Scherer | -0/+1 |
| 2022-11-21 | Allow iterators instead of requiring slices that will get turned into iterators | Oli Scherer | -2/+2 |
| 2022-11-21 | Assert that various types have the right amount of generic args and fix the s... | Oli Scherer | -6/+2 |
| 2022-11-21 | Split out the actual predicate solving code into a separate function | Oli Scherer | -9/+17 |
| 2022-11-16 | Convert predicates into Predicate in the Obligation constructor | Oli Scherer | -1/+2 |
| 2022-11-08 | Rollup merge of #104094 - lcnr:on_unimplemented-move, r=wesleywiser | Dylan DPC | -2/+0 |
| 2022-11-08 | Rollup merge of #103865 - compiler-errors:fallback-has-occurred-tracking, r=e... | Dylan DPC | -1/+1 |
| 2022-11-07 | fully move `on_unimplemented` to error reporting | lcnr | -2/+0 |
| 2022-11-06 | Auto merge of #103861 - compiler-errors:codegen-select-in-vtable-slot, r=nagisa | bors | -18/+6 |
| 2022-11-06 | Move fallback_has_occurred to FnCtxt | Michael Goulet | -1/+1 |
| 2022-11-04 | Some tracing and comment cleanups | Oli Scherer | -29/+5 |
| 2022-11-02 | Use ObligationCtxt in fully_normalize | Michael Goulet | -18/+9 |
| 2022-11-02 | Use codegen_select in vtable_trait_upcasting_coercion_new_vptr_slot | Michael Goulet | -18/+6 |
| 2022-10-19 | Don't call `own_existential_vtable_entries` on unresolved trait ref | Michael Goulet | -7/+4 |
| 2022-10-07 | Change InferCtxtBuilder from enter to build | Cameron Steffen | -70/+63 |
| 2022-10-07 | Remove TypeckResults from InferCtxt | Cameron Steffen | -10/+10 |
| 2022-10-07 | Introduce TypeErrCtxt | Cameron Steffen | -2/+2 |
| 2022-10-04 | It's not about types or consts, but the lack of regions | Oli Scherer | -1/+1 |
| 2022-09-22 | Auto merge of #100982 - fee1-dead-contrib:const-impl-requires-const-trait, r=... | bors | -1/+1 |
| 2022-09-19 | remove the `Subst` trait, always use `EarlyBinder` | lcnr | -3/+2 |
| 2022-09-16 | Normalize param_env for trait assoc consts in typeck | Deadbeef | -1/+1 |
| 2022-09-09 | rename `codegen_fulfill_obligation` | lcnr | -1/+1 |
| 2022-09-01 | Porting 'compiler/rustc_trait_selection' to translatable diagnostics - Part 1 | Gabriel Bustamante | -2/+6 |
| 2022-08-26 | Auto merge of #100705 - compiler-errors:issue-100620, r=oli-obk | bors | -3/+10 |
| 2022-08-24 | Rollup merge of #100888 - spastorino:coherence-negative-impls-implied-bounds,... | Matthias Krüger | -0/+1 |
| 2022-08-23 | Move InferCtxtExt to rustc_trait_selection | Santiago Pastorino | -0/+1 |
| 2022-08-22 | remove hack fix since we don't have no overflow diagnostic | yukang | -3/+0 |
| 2022-08-21 | Rework point-at-arg | Michael Goulet | -2/+12 |
| 2022-08-18 | Avoid overflow in is_impossible_method | Michael Goulet | -3/+10 |
| 2022-08-09 | Rollup merge of #100221 - compiler-errors:impossible-trait-items, r=lcnr,notr... | Dylan DPC | -1/+76 |
| 2022-08-07 | Don't document impossible to call default trait items on impls | Michael Goulet | -1/+77 |
| 2022-08-04 | Address nits | Michael Goulet | -0/+8 |
| 2022-08-04 | Add `traits::fully_solve_obligation` that acts like `traits::fully_normalize` | Michael Goulet | -7/+36 |
| 2022-08-04 | Use ObligationCtxt in impossible_predicates | Michael Goulet | -12/+5 |
| 2022-08-04 | Remove FulfillmentContext param from fully_normalize | Michael Goulet | -11/+10 |
