about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
2023-04-12region error cleanuplcnr-49/+18
2023-04-11Allow the elaborator to only filter to real supertraitsMichael Goulet-31/+37
2023-04-11Split implied and super predicate queriesMichael Goulet-35/+85
2023-04-11Split super_predicates_that_define_assoc_type query from super_predicates_ofMichael Goulet-4/+4
2023-04-11Erase lifetimes above ty::INNERMOST when probing ambiguous typesMichael Goulet-14/+6
2023-04-10Fix typos in compilerDaniPopes-1/+1
2023-04-10rustc_metadata: Filter encoded data more aggressively using `DefKind`Vadim Petrochenkov-1/+1
2023-04-10Rollup merge of #110124 - Nilstrieb:📎-told-me-so, r=compiler-errorsDylan DPC-1/+1
2023-04-09Rollup merge of #110028 - obeis:hir-analysis-migrate-diagnostics-3, r=compile...Matthias Krüger-110/+179
2023-04-09Small clippy::correctness fixesNilstrieb-1/+1
2023-04-09Auto merge of #110031 - compiler-errors:generic-elaboration, r=b-naberbors-14/+12
2023-04-08Migrate `rustc_hir_analysis` to session diagnosticObei Sideg-110/+179
2023-04-07Auto merge of #110036 - jackh726:placeholder_boundvar, r=nnethercotebors-10/+8
2023-04-06Remove index from BrAnonJack Huey-6/+4
2023-04-06Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey-4/+4
2023-04-06Get rid of elaborate_trait_ref{s} tooMichael Goulet-3/+3
2023-04-06Make elaborator genericMichael Goulet-11/+9
2023-04-06Stabilize is_some_andJonas Platte-1/+0
2023-04-04Remove intercrate and mark_ambiguous from RelationMichael Goulet-8/+0
2023-04-01fix clippy::iter_kv_mapMatthias Krüger-2/+2
2023-03-31Auto merge of #109010 - compiler-errors:rtn, r=eholkbors-62/+256
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/+47
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 10:07:19 +0000