| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-07-06 | Do not assert >1 RPITITs on collect_return_position_impl_trait_in_trait_tys | Santiago Pastorino | -5/+7 |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -88/+105 |
| 2023-07-04 | Replace `mk_const` with `Const::new_x` methods | Boxy | -5/+4 |
| 2023-07-03 | use `deeply_normalize` for `assumed_wf_types` | lcnr | -9/+17 |
| 2023-06-30 | Flip the order of binder instantiation for better diagnostics | Michael Goulet | -10/+7 |
| 2023-06-30 | Error for RPITIT hidden tys that capture more than their trait defn | Michael Goulet | -22/+109 |
| 2023-06-29 | Intern OpaqueTy on ItemKind::OpaqueTy | Santiago Pastorino | -1/+1 |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -41/+37 |
| 2023-06-25 | Rollup merge of #113036 - TaKO8Ki:fix-112094, r=compiler-errors | Matthias Krüger | -1/+1 |
| 2023-06-26 | accept `ReStatic` for RPITIT | Takayuki Maeda | -1/+1 |
| 2023-06-23 | Auto merge of #112891 - oli-obk:impl_trait_in_assoc_tys_cleanup, r=compiler-e... | bors | -4/+4 |
| 2023-06-22 | Migrate item_bounds to ty::Clause | Michael Goulet | -5/+3 |
| 2023-06-22 | Move `opaque_type_origin_unchecked` onto `TyCtxt` and re-use it where it was ... | Oli Scherer | -4/+4 |
| 2023-06-21 | Liberate bound vars properly when suggesting missing AFIT | Michael Goulet | -13/+10 |
| 2023-06-21 | Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnr | Nilstrieb | -14/+14 |
| 2023-06-19 | Rollup merge of #112596 - compiler-errors:missing-sig-with-rpitit, r=b-naber | Michael Goulet | -2/+29 |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -14/+14 |
| 2023-06-17 | Move ConstEvaluatable to Clause | Michael Goulet | -2/+2 |
| 2023-06-17 | Move WF goal to clause | Michael Goulet | -4/+8 |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -10/+30 |
| 2023-06-14 | Error on unconstrained lifetime in RPITIT | Michael Goulet | -21/+38 |
| 2023-06-13 | Suggest correct signature on missing fn returning RPITIT/AFIT | Michael Goulet | -2/+29 |
| 2023-06-13 | Rollup merge of #111885 - compiler-errors:rust-call-abi-sized, r=eholk | Matthias Krüger | -1/+7 |
| 2023-06-08 | Rollup merge of #109953 - thomcc:thomcc/typeid128, r=WaffleLapkin | Matthias Krüger | -1/+1 |
| 2023-06-07 | Rollup merge of #112122 - compiler-errors:next-coherence, r=lcnr | Dylan DPC | -1/+1 |
| 2023-06-06 | Don't ICE on unsized rust-call abi call | Michael Goulet | -1/+7 |
| 2023-06-06 | Make TraitEngine::new use the right solver, add compare mode | Michael Goulet | -1/+1 |
| 2023-06-06 | remove `has_error_field` helper method | lcnr | -3/+5 |
| 2023-06-05 | Rollup merge of #112322 - compiler-errors:no-IMPLIED_BOUNDS_ENTAILMENT-if-err... | Matthias Krüger | -1/+1 |
| 2023-06-05 | Don't mention IMPLIED_BOUNDS_ENTAILMENT if signatures reference error | Michael Goulet | -1/+1 |
| 2023-06-05 | Avoid going through queries if a value of type `AssocItem` is already available | Oli Scherer | -3/+3 |
| 2023-06-04 | Use 128 bits for TypeId hash | Thom Chiovoloni | -1/+1 |
| 2023-06-02 | Separate AnonConst from ConstBlock in HIR. | Camille GILLOT | -1/+1 |
| 2023-06-02 | Rollup merge of #112165 - fee1-dead-contrib:rn-defualtness, r=compiler-errors | Matthias Krüger | -2/+2 |
| 2023-06-02 | Auto merge of #112198 - compiler-errors:rollup-o2xe4of, r=compiler-errors | bors | -77/+14 |
| 2023-06-01 | Implement custom diagnostic for ConstParamTy | Michael Goulet | -1/+1 |
| 2023-06-01 | Require that const param tys implement ConstParamTy | Boxy | -77/+14 |
| 2023-06-01 | Use translatable diagnostics in `rustc_const_eval` | Deadbeef | -1/+1 |
| 2023-06-01 | Rename `impl_defaultness` to `defaultness` | Deadbeef | -2/+2 |
| 2023-05-30 | Rollup merge of #112060 - lcnr:early-binder, r=jackh726 | Nilstrieb | -4/+4 |
| 2023-05-30 | Auto merge of #112075 - WaffleLapkin:unmkII, r=lcnr | bors | -24/+43 |
| 2023-05-29 | Rollup merge of #112057 - MU001999:fix/self-sugg, r=compiler-errors | Matthias Krüger | -1/+1 |
| 2023-05-29 | Rename `tcx.mk_re_*` => `Region::new_*` | Maybe Waffle | -24/+43 |
| 2023-05-29 | EarlyBinder::new -> EarlyBinder::bind | lcnr | -4/+4 |
| 2023-05-29 | Determine `self_ty` with expected `ty` | mu001999 | -1/+1 |
| 2023-05-29 | Use `Cow` in `{D,Subd}iagnosticMessage`. | Nicholas Nethercote | -7/+9 |
| 2023-05-28 | Replace EarlyBinder(x) with EarlyBinder::new(x) | Kyle Matsuda | -4/+4 |
| 2023-05-25 | Move DefiningAnchor | Michael Goulet | -1/+2 |
| 2023-05-24 | Use `Option::is_some_and` and `Result::is_ok_and` in the compiler | Maybe Waffle | -7/+6 |
| 2023-05-16 | Rollup merge of #111533 - clubby789:drop-tracking-error, r=oli-obk | Matthias Krüger | -1/+1 |
