about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis
AgeCommit message (Expand)AuthorLines
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
2023-03-18Rollup merge of #109200 - compiler-errors:issue-109191, r=WaffleLapkinMatthias Krüger-3/+6
2023-03-18Rollup merge of #109102 - compiler-errors:ambig-assoc-in-non-lt-binder, r=jac...Matthias Krüger-3/+14
2023-03-17Remove VecMapMichael Goulet-1/+1
2023-03-17Fix impl_trait_ty_to_ty substsSantiago Pastorino-2/+6
2023-03-17Fix generics mismatch errors for RPITITs on -Zlower-impl-trait-in-trait-to-as...Santiago Pastorino-0/+11
2023-03-17Erase escaping late-bound regions when probing for ambiguous associated typesMichael Goulet-3/+14
2023-03-17Rollup merge of #109198 - compiler-errors:new-rpitit-default-body, r=spastorinoMatthias Krüger-26/+48
2023-03-16Rollup merge of #109166 - lcnr:define_opaque_types-explicit, r=oli-obkMatthias Krüger-6/+9
2023-03-16Fix index out of bounds in suggest_trait_fn_ty_for_impl_fn_inferMichael Goulet-3/+6
2023-03-16Auto merge of #109183 - lqd:revert-107376, r=compiler-errorsbors-3/+8
2023-03-16Don't install default opaque projection predicates in RPITIT associated type'...Michael Goulet-11/+17
2023-03-16Install projection from RPITIT to default trait method opaque correctlyMichael Goulet-14/+22
2023-03-15ImplTraitPlaceholder -> is_impl_trait_in_traitSantiago Pastorino-6/+14
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-3/+8
2023-03-15always make `define_opaque_types` explicitlcnr-6/+9
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-8/+3
2023-03-14Rollup merge of #109105 - compiler-errors:late-ct-in-anon-ct, r=oli-obkMatthias Krüger-7/+7
2023-03-14Rollup merge of #108909 - spastorino:new-rpitit-7, r=compiler-errorsMatthias Krüger-0/+1
2023-03-13Don't ICE for late-bound consts across AnonConstBoundaryMichael Goulet-7/+7