| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-07-08 | Auto merge of #113474 - compiler-errors:rollup-07x1up7, r=compiler-errors | bors | -11/+0 |
| 2023-07-07 | Rollup merge of #113427 - compiler-errors:no-variances-of-rpitit-gat, r=spast... | Michael Goulet | -11/+0 |
| 2023-07-08 | Auto merge of #112652 - oli-obk:tait_only_in_sig, r=compiler-errors | bors | -1/+1 |
| 2023-07-07 | Require TAITs to be mentioned in the signatures of functions that register hi... | Oli Scherer | -1/+1 |
| 2023-07-07 | Auto merge of #113308 - compiler-errors:poly-select, r=lcnr | bors | -3/+4 |
| 2023-07-07 | Remove variances_of on RPITIT gats, remove its one use-case | Michael Goulet | -11/+0 |
| 2023-07-06 | Avoid calling item_name for RPITIT | Santiago Pastorino | -3/+5 |
| 2023-07-06 | Separate select calls that don't need a binder | Michael Goulet | -0/+1 |
| 2023-07-06 | TraitObligation -> PolyTraitObligation | Michael Goulet | -3/+3 |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -42/+45 |
| 2023-07-05 | Rollup merge of #113319 - lcnr:type-param-def-def-id, r=compiler-errors | Michael Goulet | -5/+5 |
| 2023-07-05 | Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obk | Michael Goulet | -24/+13 |
| 2023-07-04 | Replace `const_error` methods with `Const::new_error` | Boxy | -2/+2 |
| 2023-07-04 | Replace `mk_const` with `Const::new_x` methods | Boxy | -23/+26 |
| 2023-07-04 | `TypeParameterDefinition` always require a `DefId` | lcnr | -5/+5 |
| 2023-07-04 | Auto merge of #113303 - compiler-errors:yeet-chalk, r=lcnr | bors | -5/+1 |
| 2023-07-04 | -Ztrait-solver=next: stop depending on old solver | lcnr | -24/+13 |
| 2023-07-04 | Auto merge of #113215 - compiler-errors:rpitit-predicates-tweaks, r=spastorino | bors | -1/+3 |
| 2023-07-03 | remove TypeWellFormedFromEnv | Michael Goulet | -5/+1 |
| 2023-07-03 | add deep normalization via the new solver | lcnr | -0/+1 |
| 2023-07-01 | Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errors | bors | -33/+14 |
| 2023-06-30 | RPITITs inherit method predicates | Michael Goulet | -1/+3 |
| 2023-06-29 | change snapshot tracking in fulfillment contexts | lcnr | -33/+14 |
| 2023-06-29 | Make the Elaboratable trait take clauses | Michael Goulet | -40/+42 |
| 2023-06-27 | avoid using `format!("{}", ..)` | Takayuki Maeda | -2/+2 |
| 2023-06-26 | TypeWellFormedInEnv | Michael Goulet | -2/+3 |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -29/+19 |
| 2023-06-24 | Rollup merge of #112703 - aliemjay:next-solver-root-var, r=compiler-errors | Guillaume Gomez | -0/+1 |
| 2023-06-24 | instantiate hidden types in root universe | Ali MJ Al-Nasrawy | -0/+1 |
| 2023-06-23 | Auto merge of #112891 - oli-obk:impl_trait_in_assoc_tys_cleanup, r=compiler-e... | bors | -9/+3 |
| 2023-06-22 | Expect clause more | Michael Goulet | -4/+4 |
| 2023-06-22 | Migrate item_bounds to ty::Clause | Michael Goulet | -7/+25 |
| 2023-06-22 | Point to argument/return type instead of the whole function header | Oli Scherer | -1/+2 |
| 2023-06-22 | Move `opaque_type_origin_unchecked` onto `TyCtxt` and re-use it where it was ... | Oli Scherer | -8/+1 |
| 2023-06-21 | Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnr | Nilstrieb | -37/+60 |
| 2023-06-19 | Rollup merge of #112781 - compiler-errors:new-solver-tait-overlaps-hidden, r=... | Michael Goulet | -4/+6 |
| 2023-06-19 | Fully fledged Clause type | Michael Goulet | -0/+20 |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -37/+40 |
| 2023-06-19 | Don't consider TAIT normalizable to hidden ty if it would result in impossibl... | Michael Goulet | -4/+6 |
| 2023-06-18 | Treat TAIT equation as always ambiguous in coherence | Michael Goulet | -7/+4 |
| 2023-06-17 | Move ConstEvaluatable to Clause | Michael Goulet | -2/+2 |
| 2023-06-17 | Move WF goal to clause | Michael Goulet | -3/+3 |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -0/+1 |
| 2023-06-12 | extend assert | lcnr | -3/+3 |
| 2023-06-11 | Rollup merge of #112513 - compiler-errors:dont-compute-box-span-for-tait, r=c... | Matthias Krüger | -1/+19 |
| 2023-06-11 | Don't suggest boxing an empty if/else arm | Michael Goulet | -1/+19 |
| 2023-06-09 | split opaque type handling in new solver | lcnr | -36/+47 |
| 2023-06-09 | recompute opaque type origin | lcnr | -20/+11 |
| 2023-06-08 | Don't suggest cyclic associated type constraint | Michael Goulet | -0/+6 |
| 2023-06-08 | More robust as_ref/as_deref suggestions | Michael Goulet | -49/+3 |
