about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
2023-04-20add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda-9/+7
2023-04-20change usages of explicit_item_bounds to bound_explicit_item_boundsKyle Matsuda-6/+13
2023-04-19Format missing GATs correctlyMichael Goulet-1/+7
2023-04-19Make missing impl item suggestions more obvious that they're missingMichael Goulet-2/+2
2023-04-19Substitute missing item suggestion correctlyMichael Goulet-9/+24
2023-04-18add EarlyBinder to return type of collect_return_position_impl_trait_in_trait...Kyle Matsuda-3/+3
2023-04-16Auto merge of #110405 - fee1-dead-contrib:rollup-9rkree6, r=fee1-deadbors-1/+1
2023-04-16more clippy fixes: clippy::{iter_cloned_collect, unwarp_or_else_default, opti...Matthias Krüger-1/+1
2023-04-16Use lints via `lint_defs` instead of `lints`Nilstrieb-1/+1
2023-04-12region error cleanuplcnr-43/+15
2023-04-09Auto merge of #110031 - compiler-errors:generic-elaboration, r=b-naberbors-3/+3
2023-04-06Remove index from BrAnonJack Huey-6/+4
2023-04-06Make elaborator genericMichael Goulet-3/+3
2023-04-04Remove intercrate and mark_ambiguous from RelationMichael Goulet-8/+0
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-5/+7
2023-03-28Rollup merge of #109629 - aliemjay:remove-givens, r=lcnrnils-7/+2
2023-03-28Rollup merge of #109470 - compiler-errors:gat-normalize-bound, r=jackh726nils-53/+50
2023-03-26Don't elaborate non-obligations into obligationsMichael Goulet-5/+2
2023-03-26remove obsolete `givens` from regionckAli MJ Al-Nasrawy-7/+2
2023-03-25Rollup merge of #109545 - compiler-errors:rpitit-wf, r=eholkMatthias Krüger-33/+72
2023-03-23Deeply check WF for RPITITsMichael Goulet-33/+72
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 #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-22Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errorsbors-0/+1
2023-03-21RPITITs are DefKind::Opaque with new lowering strategyMichael Goulet-2/+10
2023-03-21Do not consider synthesized RPITITs on missing items checksSantiago Pastorino-1/+4
2023-03-21IdentitySubsts::identity_for_item takes Into<DefId>Michael Goulet-3/+3
2023-03-21Use LocalDefId in ItemCtxtMichael Goulet-1/+1
2023-03-21Use local key in providersMichael Goulet-7/+6
2023-03-21remove some trait solver helperslcnr-0/+1
2023-03-18move Option::as_slice to intrinsicAndre Bogus-0/+15
2023-03-17Fix generics mismatch errors for RPITITs on -Zlower-impl-trait-in-trait-to-as...Santiago Pastorino-0/+11
2023-03-17Rollup merge of #109198 - compiler-errors:new-rpitit-default-body, r=spastorinoMatthias Krüger-8/+18
2023-03-16Auto merge of #109183 - lqd:revert-107376, r=compiler-errorsbors-2/+7
2023-03-16Don't install default opaque projection predicates in RPITIT associated type'...Michael Goulet-11/+17
2023-03-15ImplTraitPlaceholder -> is_impl_trait_in_traitSantiago Pastorino-2/+6
2023-03-15Rename impl_trait_in_trait_parent to impl_trait_in_trait_parent_fnSantiago Pastorino-2/+2
2023-03-15Revert "Auto merge of #107376 - aliemjay:remove-givens, r=lcnr"Rémy Rakic-2/+7
2023-03-15Auto merge of #109035 - scottmcm:ptr-read-should-know-undef, r=WaffleLapkin,J...bors-0/+2
2023-03-15Auto merge of #107376 - aliemjay:remove-givens, r=lcnrbors-7/+2
2023-03-11`MaybeUninit::assume_init_read` should have `noundef` load metadataScott McMurray-0/+2
2023-03-12Auto merge of #108700 - spastorino:new-rpitit-impl-side-2, r=compiler-errorsbors-8/+15
2023-03-09Remove body_def_id from InheritedMichael Goulet-8/+8
2023-03-09remove obsolete `givens` from regionckAli MJ Al-Nasrawy-7/+2
2023-03-08Rollup merge of #108882 - compiler-errors:E0740, r=eholkMatthias Krüger-21/+11
2023-03-08Auto merge of #108312 - michaelwoerister:hash-set-not-hash-stable, r=eholkbors-3/+3
2023-03-08Tweak E0740Michael Goulet-20/+8