about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
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
2023-03-08Don't report E0740 for type errorMichael Goulet-1/+3
2023-03-07Auto merge of #95317 - Jules-Bertholet:round_ties_to_even, r=pnkfelix,m-ou-se...bors-0/+2
2023-03-06Collect newly synthesized RPITITs on ImplTraitInTraitCollectorSantiago Pastorino-1/+1
2023-03-06Avoid accessing HIR for RPITITs on check_type_boundsSantiago Pastorino-7/+14
2023-03-05Rollup merge of #108764 - cjgillot:dpm-adapt, r=compiler-errorsMatthias Krüger-0/+8
2023-03-05Auto merge of #108351 - petrochenkov:rmdit, r=cjgillotbors-4/+2
2023-03-05drop_tracking_mir: diagnose recursive generator.Camille GILLOT-0/+8
2023-03-03Match unmatched backticks in comments in compiler/est31-1/+1
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-4/+2
2023-03-01Use FxIndexSet instead of FxHashSet for asm_target_features query.Michael Woerister-3/+3
2023-02-28Descriptive error when users try to combine RPITIT/AFIT with specializationMichael Goulet-4/+36
2023-02-27Rollup merge of #108319 - compiler-errors:dont-project-to-specializable-rpiti...Matthias Krüger-0/+7
2023-02-24Rename many interner functions.Nicholas Nethercote-16/+13
2023-02-23Auto merge of #108369 - compiler-errors:ty-error-more, r=BoxyUwUbors-1/+1