about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
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
2023-03-10Rollup merge of #108930 - Ezrashaw:better-error-for-manual-fn-impl, r=petroch...Matthias Krüger-51/+93
2023-03-10feat: implement better error for manual impl of `Fn*` traitsEzra Shaw-52/+94
2023-03-09Remove body_def_id from InheritedMichael Goulet-13/+13
2023-03-09Auto merge of #108920 - matthiaskrgr:rollup-qrr9a0u, r=matthiaskrgrbors-22/+32
2023-03-09remove obsolete `givens` from regionckAli MJ Al-Nasrawy-8/+3
2023-03-08Rollup merge of #108882 - compiler-errors:E0740, r=eholkMatthias Krüger-22/+32
2023-03-08Rollup merge of #108884 - compiler-errors:tweak-illegal-copy-impl-message, r=...Matthias Krüger-1/+9
2023-03-08Auto merge of #108312 - michaelwoerister:hash-set-not-hash-stable, r=eholkbors-4/+4
2023-03-08Tweak E0740Michael Goulet-21/+29
2023-03-08Don't report E0740 for type errorMichael Goulet-1/+3
2023-03-08Dedup copy field errors for identical typesMichael Goulet-0/+8
2023-03-08may not => cannotMichael Goulet-1/+1
2023-03-07Error code E0794 for late-bound lifetime parameter error.Christopher Acosta-1/+1
2023-03-07Rollup merge of #108460 - obeis:hir-analysis-migrate-diagnostics-2, r=compile...Matthias Krüger-28/+60
2023-03-07Auto merge of #95317 - Jules-Bertholet:round_ties_to_even, r=pnkfelix,m-ou-se...bors-0/+2
2023-03-06Implement type_of for RPITITs assoc typeSantiago Pastorino-1/+20
2023-03-06Properly implement explicit_item_bounds for RPITITs trait assoc tySantiago Pastorino-11/+23
2023-03-06Map to new synthesized assoc ty for RPITITs in astconvSantiago Pastorino-1/+9
2023-03-06Collect newly synthesized RPITITs on ImplTraitInTraitCollectorSantiago Pastorino-1/+1