about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
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
2023-03-13Better names?Michael Goulet-5/+8
2023-03-13Treat projections with infer as placeholder during fast reject in new solverMichael Goulet-3/+10
2023-03-12Allow `#[target_feature]` on `main` and `start` for WASMLéo Lanteri Thauvin-2/+11
2023-03-12Forbid the use of `#[target_feature]` on `start`Léo Lanteri Thauvin-0/+16
2023-03-12Forbid the use of `#[target_feature]` on `main`Léo Lanteri Thauvin-0/+13
2023-03-12Filter out RPITITs in astconv when checking for missing associated typesSantiago Pastorino-0/+1
2023-03-12Auto merge of #108682 - est31:simplify_dirs, r=davidtwcobors-1/+1
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-21/+67
2023-03-11Simplify message pathsest31-1/+1