| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-03-28 | Rollup merge of #109629 - aliemjay:remove-givens, r=lcnr | nils | -8/+3 |
| 2023-03-28 | Rollup merge of #109470 - compiler-errors:gat-normalize-bound, r=jackh726 | nils | -53/+50 |
| 2023-03-26 | Don't elaborate non-obligations into obligations | Michael Goulet | -39/+22 |
| 2023-03-26 | remove obsolete `givens` from regionck | Ali MJ Al-Nasrawy | -8/+3 |
| 2023-03-25 | Rollup merge of #109545 - compiler-errors:rpitit-wf, r=eholk | Matthias Krüger | -33/+72 |
| 2023-03-23 | Auto merge of #109202 - compiler-errors:new-solver-fast-reject-faster-2, r=lcnr | bors | -13/+3 |
| 2023-03-23 | Deeply check WF for RPITITs | Michael Goulet | -33/+72 |
| 2023-03-23 | Don't split up TreatProjections and TreatParams anymore | Michael Goulet | -13/+3 |
| 2023-03-23 | Rollup merge of #107718 - Zoxc:z-time, r=nnethercote | Matthias Krüger | -2/+2 |
| 2023-03-23 | Auto merge of #109517 - matthiaskrgr:rollup-m3orqzd, r=matthiaskrgr | bors | -3/+3 |
| 2023-03-23 | Rollup merge of #109462 - compiler-errors:alias-relate, r=BoxyUwU,lcnr | Matthias Krüger | -3/+3 |
| 2023-03-23 | Auto merge of #109503 - matthiaskrgr:rollup-cnp7kdd, r=matthiaskrgr | bors | -31/+51 |
| 2023-03-23 | Rename AliasEq -> AliasRelate | Michael Goulet | -3/+3 |
| 2023-03-22 | Rollup merge of #109423 - fmease:iat-selection-erase-regions-in-self-ty, r=co... | Matthias Krüger | -31/+51 |
| 2023-03-22 | Auto merge of #109497 - matthiaskrgr:rollup-6txuxm0, r=matthiaskrgr | bors | -3/+1 |
| 2023-03-23 | Rollup merge of #109414 - spastorino:new-rpitit-16, r=compiler-errors | Dylan DPC | -1/+4 |
| 2023-03-23 | Rollup merge of #109405 - compiler-errors:rpitit-as-opaques, r=spastorino | Dylan DPC | -2/+10 |
| 2023-03-23 | Rollup merge of #109280 - compiler-errors:no-vec-map, r=Mark-Simulacrum | Dylan DPC | -1/+1 |
| 2023-03-23 | Rollup merge of #109179 - llogiq:intrinsically-option-as-slice, r=eholk | Dylan DPC | -0/+15 |
| 2023-03-22 | Clean up substs building | Michael Goulet | -53/+50 |
| 2023-03-22 | Subst gat normalize pred correctly | Michael Goulet | -1/+1 |
| 2023-03-22 | `HirId` to `LocalDefId` cleanup | lcnr | -3/+1 |
| 2023-03-22 | Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errors | bors | -53/+56 |
| 2023-03-21 | RPITITs are DefKind::Opaque with new lowering strategy | Michael Goulet | -2/+10 |
| 2023-03-21 | iat selection: erase regions in self type | León Orell Valerian Liehr | -31/+51 |
| 2023-03-21 | Do not consider synthesized RPITITs on missing items checks | Santiago Pastorino | -1/+4 |
| 2023-03-21 | Reduce output spam | John Kåre Alsaker | -2/+2 |
| 2023-03-21 | IdentitySubsts::identity_for_item takes Into<DefId> | Michael Goulet | -16/+16 |
| 2023-03-21 | Use LocalDefId in ItemCtxt | Michael Goulet | -97/+95 |
| 2023-03-21 | Use local key in providers | Michael Goulet | -93/+90 |
| 2023-03-21 | Rollup merge of #109385 - lcnr:typo, r=Dylan-DPC | nils | -1/+1 |
| 2023-03-21 | remove some trait solver helpers | lcnr | -53/+56 |
| 2023-03-20 | fix typo | lcnr | -1/+1 |
| 2023-03-20 | Rollup merge of #109364 - compiler-errors:gat-const-arg, r=BoxyUwU | Matthias Krüger | -28/+40 |
| 2023-03-20 | Rollup merge of #109277 - spastorino:new-rpitit-14, r=compiler-errors | Matthias Krüger | -2/+6 |
| 2023-03-20 | Update some names and comments | Michael Goulet | -1/+1 |
| 2023-03-19 | Reformat type_of | Michael Goulet | -23/+30 |
| 2023-03-19 | Only expect a GAT const arg | Michael Goulet | -5/+10 |
| 2023-03-18 | Rollup merge of #109238 - spastorino:new-rpitit-12, r=compiler-errors | Matthias Krüger | -0/+11 |
| 2023-03-18 | Rollup merge of #107416 - czzrr:issue-80618, r=GuillaumeGomez | Matthias Krüger | -1/+1 |
| 2023-03-18 | move Option::as_slice to intrinsic | Andre Bogus | -0/+15 |
| 2023-03-18 | Rollup merge of #109200 - compiler-errors:issue-109191, r=WaffleLapkin | Matthias Krüger | -3/+6 |
| 2023-03-18 | Rollup merge of #109102 - compiler-errors:ambig-assoc-in-non-lt-binder, r=jac... | Matthias Krüger | -3/+14 |
| 2023-03-17 | Remove VecMap | Michael Goulet | -1/+1 |
| 2023-03-17 | Fix impl_trait_ty_to_ty substs | Santiago Pastorino | -2/+6 |
| 2023-03-17 | Fix generics mismatch errors for RPITITs on -Zlower-impl-trait-in-trait-to-as... | Santiago Pastorino | -0/+11 |
| 2023-03-17 | Erase escaping late-bound regions when probing for ambiguous associated types | Michael Goulet | -3/+14 |
| 2023-03-17 | Rollup merge of #109198 - compiler-errors:new-rpitit-default-body, r=spastorino | Matthias Krüger | -26/+48 |
| 2023-03-16 | Rollup merge of #109166 - lcnr:define_opaque_types-explicit, r=oli-obk | Matthias Krüger | -6/+9 |
| 2023-03-16 | Fix index out of bounds in suggest_trait_fn_ty_for_impl_fn_infer | Michael Goulet | -3/+6 |
