about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis
AgeCommit message (Expand)AuthorLines
2023-04-01fix clippy::iter_kv_mapMatthias Krüger-2/+2
2023-03-31Auto merge of #109010 - compiler-errors:rtn, r=eholkbors-62/+267
2023-03-31Auto merge of #109762 - scottmcm:variantdef-indexvec, r=WaffleLapkinbors-7/+8
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-7/+8
2023-03-29Stabilize a portion of 'once_cell'Trevor Gross-1/+1
2023-03-28Rollup merge of #109629 - aliemjay:remove-givens, r=lcnrnils-8/+3
2023-03-28Rollup merge of #109470 - compiler-errors:gat-normalize-bound, r=jackh726nils-53/+50
2023-03-28Add `(..)` syntax for RTNMichael Goulet-12/+24
2023-03-28Add tests and error messagesMichael Goulet-9/+58
2023-03-28Compute bound vars correctlyMichael Goulet-17/+108
2023-03-28RTNMichael Goulet-50/+103
2023-03-26Don't elaborate non-obligations into obligationsMichael Goulet-39/+22
2023-03-26remove obsolete `givens` from regionckAli MJ Al-Nasrawy-8/+3
2023-03-25Rollup merge of #109545 - compiler-errors:rpitit-wf, r=eholkMatthias Krüger-33/+72
2023-03-23Auto merge of #109202 - compiler-errors:new-solver-fast-reject-faster-2, r=lcnrbors-13/+3
2023-03-23Deeply check WF for RPITITsMichael Goulet-33/+72
2023-03-23Don't split up TreatProjections and TreatParams anymoreMichael Goulet-13/+3
2023-03-23Rollup merge of #107718 - Zoxc:z-time, r=nnethercoteMatthias Krüger-2/+2
2023-03-23Auto merge of #109517 - matthiaskrgr:rollup-m3orqzd, r=matthiaskrgrbors-3/+3
2023-03-23Rollup merge of #109462 - compiler-errors:alias-relate, r=BoxyUwU,lcnrMatthias Krüger-3/+3
2023-03-23Auto merge of #109503 - matthiaskrgr:rollup-cnp7kdd, r=matthiaskrgrbors-31/+51
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-3/+3
2023-03-22Rollup merge of #109423 - fmease:iat-selection-erase-regions-in-self-ty, r=co...Matthias Krüger-31/+51
2023-03-22Auto merge of #109497 - matthiaskrgr:rollup-6txuxm0, r=matthiaskrgrbors-3/+1
2023-03-23Rollup merge of #109414 - spastorino:new-rpitit-16, r=compiler-errorsDylan DPC-1/+4
2023-03-23Rollup merge of #109405 - compiler-errors:rpitit-as-opaques, r=spastorinoDylan DPC-2/+10
2023-03-23Rollup merge of #109280 - compiler-errors:no-vec-map, r=Mark-SimulacrumDylan DPC-1/+1
2023-03-23Rollup merge of #109179 - llogiq:intrinsically-option-as-slice, r=eholkDylan DPC-0/+15
2023-03-22Clean up substs buildingMichael Goulet-53/+50
2023-03-22Subst gat normalize pred correctlyMichael Goulet-1/+1
2023-03-22`HirId` to `LocalDefId` cleanuplcnr-3/+1
2023-03-22Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errorsbors-53/+56
2023-03-21RPITITs are DefKind::Opaque with new lowering strategyMichael Goulet-2/+10
2023-03-21iat selection: erase regions in self typeLeón Orell Valerian Liehr-31/+51
2023-03-21Do not consider synthesized RPITITs on missing items checksSantiago Pastorino-1/+4
2023-03-21Reduce output spamJohn Kåre Alsaker-2/+2
2023-03-21IdentitySubsts::identity_for_item takes Into<DefId>Michael Goulet-16/+16
2023-03-21Use LocalDefId in ItemCtxtMichael Goulet-97/+95
2023-03-21Use local key in providersMichael Goulet-93/+90
2023-03-21Rollup merge of #109385 - lcnr:typo, r=Dylan-DPCnils-1/+1
2023-03-21remove some trait solver helperslcnr-53/+56
2023-03-20fix typolcnr-1/+1
2023-03-20Rollup merge of #109364 - compiler-errors:gat-const-arg, r=BoxyUwUMatthias Krüger-28/+40
2023-03-20Rollup merge of #109277 - spastorino:new-rpitit-14, r=compiler-errorsMatthias Krüger-2/+6
2023-03-20Update some names and commentsMichael Goulet-1/+1
2023-03-19Reformat type_ofMichael Goulet-23/+30
2023-03-19Only expect a GAT const argMichael Goulet-5/+10
2023-03-18Rollup merge of #109238 - spastorino:new-rpitit-12, r=compiler-errorsMatthias Krüger-0/+11
2023-03-18Rollup merge of #107416 - czzrr:issue-80618, r=GuillaumeGomezMatthias Krüger-1/+1
2023-03-18move Option::as_slice to intrinsicAndre Bogus-0/+15