| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-07-10 | instantiate higher ranked goals in candidate selection | lcnr | -54/+12 |
| 2024-07-09 | Split out overflow handling into its own module | Michael Goulet | -1/+1 |
| 2024-07-08 | Move trait selection error reporting to its own top-level module | Michael Goulet | -1/+1 |
| 2024-07-08 | Rollup merge of #127437 - compiler-errors:uplift-trait-ref-is-knowable, r=lcnr | 许杰友 Jieyou Xu (Joe) | -1/+1 |
| 2024-07-07 | Uplift trait_ref_is_knowable and friends | Michael Goulet | -1/+1 |
| 2024-07-05 | Actually just make can_eq process obligations (almost) everywhere | Michael Goulet | -1/+1 |
| 2024-06-30 | Uplift fast rejection to new solver | Michael Goulet | -1/+1 |
| 2024-06-27 | Make queries more explicit | Michael Goulet | -1/+1 |
| 2024-06-25 | Auto merge of #125610 - oli-obk:define_opaque_types14, r=compiler-errors | bors | -4/+4 |
| 2024-06-24 | Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr... | Michael Goulet | -2/+2 |
| 2024-06-20 | Add blank lines after module-level `//!` comments. | Nicholas Nethercote | -0/+1 |
| 2024-06-19 | Allow constraining opaque types during auto trait casting | Oli Scherer | -1/+1 |
| 2024-06-19 | Allow constraining opaque types during unsizing | Oli Scherer | -3/+3 |
| 2024-06-18 | Fix impl for SolverDelegate | Michael Goulet | -1/+1 |
| 2024-06-16 | Auto merge of #126505 - compiler-errors:no-vtable, r=lcnr | bors | -41/+2 |
| 2024-06-15 | Rollup merge of #126471 - oli-obk:filter_loop, r=compiler-errors | Matthias Krüger | -11/+6 |
| 2024-06-14 | Only compute vtable information during codegen | Michael Goulet | -41/+2 |
| 2024-06-14 | Use is_lang_item more aggressively | Michael Goulet | -39/+39 |
| 2024-06-14 | Add TyCtxt::is_lang_item | Michael Goulet | -1/+1 |
| 2024-06-14 | Use a consistent way to filter out bounds instead of splitting it into three ... | Oli Scherer | -11/+6 |
| 2024-06-12 | Rollup merge of #126353 - compiler-errors:move-match, r=lcnr | Jubilee | -2/+123 |
| 2024-06-12 | Stop passing traitref/traitpredicate by ref | Michael Goulet | -7/+7 |
| 2024-06-12 | Move MatchAgainstFreshVars to old solver | Michael Goulet | -2/+123 |
| 2024-06-11 | Revert "When checking whether an impl applies, constrain hidden types of opaq... | Oli Scherer | -1/+1 |
| 2024-06-06 | Uplift TypeRelation and Relate | Michael Goulet | -2/+2 |
| 2024-06-06 | Uplift TypeError | Michael Goulet | -0/+1 |
| 2024-06-05 | Fully implement `ConstArgHasType` | Boxy | -12/+14 |
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -5/+3 |
| 2024-06-05 | Rollup merge of #125792 - compiler-errors:dont-drop-upcast-cand, r=lcnr | Matthias Krüger | -0/+6 |
| 2024-06-04 | Rollup merge of #125750 - compiler-errors:expect, r=lcnr | 许杰友 Jieyou Xu (Joe) | -1/+1 |
| 2024-06-03 | Align Term methods with GenericArg methods | Michael Goulet | -1/+1 |
| 2024-06-03 | check_is_object_safe -> is_object_safe | Michael Goulet | -3/+3 |
| 2024-06-01 | Deduplicate supertrait_def_ids code | Mark Rousskov | -3/+3 |
| 2024-05-30 | Don't drop Upcast candidate in intercrate mode | Michael Goulet | -0/+6 |
| 2024-05-30 | Auto merge of #125671 - BoxyUwU:remove_const_ty_eq, r=compiler-errors | bors | -1/+18 |
| 2024-05-29 | Partially implement `ConstArgHasType` | Boxy | -1/+18 |
| 2024-05-28 | Get rid of manual Trace calls | Michael Goulet | -2/+5 |
| 2024-05-23 | Support constraining opaque types while trait upcasting with binders | Oli Scherer | -1/+1 |
| 2024-05-23 | Allow defining opaque types during trait object upcasting. | Oli Scherer | -1/+1 |
| 2024-05-23 | When checking whether an impl applies, constrain hidden types of opaque types. | Oli Scherer | -1/+1 |
| 2024-05-22 | Rollup merge of #125259 - compiler-errors:fn-mut-as-a-treat, r=oli-obk | León Orell Valerian Liehr | -12/+3 |
| 2024-05-19 | Add and use generics.is_empty() and generics.is_own_empty, rather than using ... | Santiago Pastorino | -2/+2 |
| 2024-05-18 | An async closure may implement FnMut/Fn if it has no self-borrows | Michael Goulet | -12/+3 |
| 2024-05-17 | Only make GAT ambiguous in match_projection_projections considering shallow r... | Michael Goulet | -1/+11 |
| 2024-05-16 | Remove trivial Binder::dummy calls | Michael Goulet | -1/+1 |
| 2024-05-16 | Uplift Goal to rustc_type_ir | Michael Goulet | -2/+2 |
| 2024-05-16 | Make P parameter explicit | Michael Goulet | -4/+3 |
| 2024-05-16 | Rename ToPredicate for Upcast | Michael Goulet | -10/+10 |
| 2024-05-13 | Auto merge of #125076 - compiler-errors:alias-term, r=lcnr | bors | -6/+6 |
| 2024-05-13 | split out AliasTy -> AliasTerm | Michael Goulet | -6/+6 |
