| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-07-08 | Auto merge of #113474 - compiler-errors:rollup-07x1up7, r=compiler-errors | bors | -2/+12 |
| 2023-07-07 | Don't ICE in resolve_bound_vars when associated return-type bounds are in bad... | Michael Goulet | -2/+12 |
| 2023-07-07 | Require TAITs to be mentioned in the signatures of functions that register hi... | Oli Scherer | -1/+10 |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -36/+44 |
| 2023-07-05 | Auto merge of #113210 - fee1-dead-contrib:effects-mvp, r=oli-obk | bors | -5/+25 |
| 2023-07-04 | include `host_effect_index` in `Generics` | Deadbeef | -5/+21 |
| 2023-07-04 | Replace `mk_const` with `Const::new_x` methods | Boxy | -2/+5 |
| 2023-07-04 | add test | Deadbeef | -2/+6 |
| 2023-07-04 | Auto merge of #113215 - compiler-errors:rpitit-predicates-tweaks, r=spastorino | bors | -3/+16 |
| 2023-06-30 | RPITITs inherit method predicates | Michael Goulet | -2/+14 |
| 2023-06-30 | use explicit predicates | Michael Goulet | -1/+2 |
| 2023-06-30 | Rollup merge of #113071 - compiler-errors:no-parent-non-lifetime-args-in-apit... | Matthias Krüger | -6/+49 |
| 2023-06-29 | Add bidirectional where clauses on RPITIT synthesized GATs | Santiago Pastorino | -2/+56 |
| 2023-06-29 | Intern OpaqueTy on ItemKind::OpaqueTy | Santiago Pastorino | -4/+4 |
| 2023-06-29 | Extract compute_bidirectional_outlives_predicates fn | Santiago Pastorino | -33/+51 |
| 2023-06-27 | pass PredicateFilter to compute_bounds | Michael Goulet | -37/+6 |
| 2023-06-27 | Make associated type bounds in supertrait position implied | Michael Goulet | -50/+54 |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -68/+34 |
| 2023-06-26 | migrate lifetime too | Michael Goulet | -6/+4 |
| 2023-06-26 | Account for late-bound vars from parent arg-position impl trait | Michael Goulet | -0/+45 |
| 2023-06-22 | Expect clause more | Michael Goulet | -1/+1 |
| 2023-06-22 | Migrate item_bounds to ty::Clause | Michael Goulet | -20/+14 |
| 2023-06-19 | Fully fledged Clause type | Michael Goulet | -17/+13 |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -17/+25 |
| 2023-06-18 | Rollup merge of #112734 - dswij:bounds-predicates-clause, r=compiler-errors | Matthias Krüger | -8/+25 |
| 2023-06-17 | Move ConstEvaluatable to Clause | Michael Goulet | -1/+1 |
| 2023-06-17 | Move WF goal to clause | Michael Goulet | -1/+1 |
| 2023-06-17 | `Bound::predicates` to return `Clause` | dswij | -8/+25 |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -0/+1 |
| 2023-06-11 | properly check associated consts for infer placeholders | Michael Goulet | -2/+14 |
| 2023-06-02 | Rollup merge of #112183 - compiler-errors:new-solver-anon-ct, r=BoxyUwU | Michael Goulet | -2/+2 |
| 2023-06-02 | No more TyCtxt::lazy_normalization | Michael Goulet | -2/+2 |
| 2023-06-02 | Separate AnonConst from ConstBlock in HIR. | Camille GILLOT | -21/+15 |
| 2023-06-02 | Rollup merge of #112165 - fee1-dead-contrib:rn-defualtness, r=compiler-errors | Matthias Krüger | -1/+1 |
| 2023-06-01 | Rename `impl_defaultness` to `defaultness` | Deadbeef | -1/+1 |
| 2023-06-01 | Rollup merge of #111980 - compiler-errors:unmapped-substs, r=lcnr | Dylan DPC | -33/+78 |
| 2023-05-31 | Check that RPITs are compatible with the opaques inferred during HIR typeck too | Michael Goulet | -29/+36 |
| 2023-05-30 | Rollup merge of #112060 - lcnr:early-binder, r=jackh726 | Nilstrieb | -4/+4 |
| 2023-05-29 | Rename `tcx.mk_re_*` => `Region::new_*` | Maybe Waffle | -5/+8 |
| 2023-05-29 | EarlyBinder::new -> EarlyBinder::bind | lcnr | -4/+4 |
| 2023-05-28 | Replace EarlyBinder(x) with EarlyBinder::new(x) | Kyle Matsuda | -4/+4 |
| 2023-05-26 | Wait until type_of to remap HIR opaques back to their defn params | Michael Goulet | -28/+66 |
| 2023-05-24 | Split out opaque from type_of | Michael Goulet | -305/+303 |
| 2023-05-24 | Rollup merge of #111861 - compiler-errors:rtn-in-super, r=jackh726 | Matthias Krüger | -0/+2 |
| 2023-05-23 | Don't ICE on RPITIT when promoting trait preds to associated type bounds | Michael Goulet | -0/+2 |
| 2023-05-22 | Check opaques for mismatch during writeback | Michael Goulet | -4/+5 |
| 2023-05-16 | Avoid `&format("...")` calls in error message code. | Nicholas Nethercote | -6/+6 |
| 2023-05-15 | Move expansion of query macros in rustc_middle to rustc_middle::query | John Kåre Alsaker | -2/+3 |
| 2023-05-12 | Require `impl Trait` in associated types to appear in method signatures | Oli Scherer | -7/+12 |
| 2023-05-09 | Rollup merge of #111215 - BoxyUwU:resolve_anon_consts_differently, r=cjgillot | Matthias Krüger | -14/+17 |
