about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
2024-12-01Auto merge of #133365 - compiler-errors:compare-impl-item, r=lcnrbors-47/+56
2024-11-30Move refinement check out of compare_impl_itemMichael Goulet-9/+20
2024-11-30Make compare_impl_item into a queryMichael Goulet-47/+45
2024-11-30Rollup merge of #116161 - Soveu:varargs2, r=cjgillot许杰友 Jieyou Xu (Joe)-31/+3
2024-11-28support revealing defined opaque post borrowcklcnr-3/+11
2024-11-28uplift fold_regions to rustc_type_irlcnr-6/+10
2024-11-28Rollup merge of #133428 - compiler-errors:rpitit-unsound, r=lcnrGuillaume Gomez-27/+21
2024-11-27Stabilize `extended_varargs_abi_support`Soveu-31/+3
2024-11-27Further simplificationsMichael Goulet-21/+15
2024-11-27Auto merge of #133393 - compiler-errors:dyn-tweaks, r=lcnr,spastorinobors-36/+2
2024-11-26Rollup merge of #133394 - compiler-errors:dyn-more-errors, r=lcnrMichael Goulet-5/+15
2024-11-26Auto merge of #132894 - frank-king:feature/where-refactor, r=cjgillotbors-23/+27
2024-11-25Remove span hack that doesnt do anythingMichael Goulet-34/+1
2024-11-25No need to store original_span in ClauseWithSupertraitSpanMichael Goulet-1/+1
2024-11-25Simplify object_region_boundsMichael Goulet-1/+0
2024-11-25Refactor `where` predicates, and reserve for attributes supportFrank King-23/+27
2024-11-25Rollup merge of #131664 - taiki-e:s390x-asm-vreg-inout, r=AmanieuMatthias Krüger-11/+35
2024-11-24Actually use placeholder regions for trait method late bound regions in colle...Michael Goulet-6/+6
2024-11-24Make s390x non-clobber-only vector register support unstableTaiki Endo-11/+35
2024-11-23Dont create trait object if it has errors in itMichael Goulet-1/+6
2024-11-23Dont create object type when more than one principal is presentMichael Goulet-4/+9
2024-11-23no more Reveal :(lcnr-9/+9
2024-11-23Auto merge of #132915 - veluca93:unsafe-fields, r=jswrennbors-32/+96
2024-11-22Simplify fulfill_implicationMichael Goulet-7/+2
2024-11-21Implement the unsafe-fields RFC.Luca Versari-32/+96
2024-11-21Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-deadMatthias Krüger-5/+22
2024-11-21Rollup merge of #132207 - compiler-errors:tweak-res-mod-segment, r=petrochenkovMatthias Krüger-2/+2
2024-11-20Auto merge of #133261 - matthiaskrgr:rollup-ekui4we, r=matthiaskrgrbors-14/+71
2024-11-20we should not be reporting generic error if there is not a segment to denyMichael Goulet-2/+2
2024-11-20Make PointerLike opt-in as a traitMichael Goulet-14/+71
2024-11-20reduce false positives of tail-expr-drop-order from consumed valuesDing Xiang Fei-2/+18
2024-11-20Auto merge of #133212 - lcnr:questionable-uwu, r=compiler-errorsbors-17/+22
2024-11-19additional `TypingEnv` cleanupslcnr-3/+3
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-2/+2
2024-11-19Implement ~const opaquesMichael Goulet-1/+18
2024-11-19Rename implied_const_bounds to explicit_implied_const_boundsMichael Goulet-4/+4
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-12/+17
2024-11-19Fix broken intra-doc linkBoxy-1/+1
2024-11-19Introduce `min_generic_const_args` and directly represent pathsNoah Lev-37/+200
2024-11-18reviewlcnr-1/+1
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-17/+24
2024-11-17Rollup merge of #132795 - compiler-errors:refine-rpitit, r=lcnrJacob Pratt-1/+111
2024-11-18Check use<..> in RPITIT for refinementMichael Goulet-1/+111
2024-11-17Auto merge of #120370 - x17jiri:likely_unlikely_fix, r=saethlinbors-4/+2
2024-11-17Likely unlikely fixJiri Bobek-4/+2
2024-11-16Rollup merge of #132832 - compiler-errors:late-ty, r=cjgillotMatthias Krüger-22/+29
2024-11-11Simplify some places that deal with generic parameter defaultsLeón Orell Valerian Liehr-75/+23
2024-11-10Deny capturing late-bound ty/ct params in nested opaquesMichael Goulet-10/+27
2024-11-10Revert "Skip late-bound lifetimes when crossing an AnonConst."Michael Goulet-12/+2
2024-11-08Rollup merge of #132757 - compiler-errors:yeet-check-wf, r=lcnrJubilee-19/+136