about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
2024-12-02Move `Const::{from_anon_const,try_from_lit}` to hir_ty_loweringNoah Lev-57/+159
2024-12-02Rollup merge of #133751 - lcnr:no-trait-solving-on-type, r=compiler-errorsGuillaume Gomez-2/+2
2024-12-02remove `Ty::is_copy_modulo_regions`lcnr-2/+2
2024-12-01Rollup merge of #133589 - voidc:remove-array-len, r=boxyuwuJacob Pratt-16/+9
2024-12-01Rollup merge of #133660 - compiler-errors:trait-obj-missing-assoc, r=lcnrMatthias Krüger-11/+20
2024-12-01Rollup merge of #132047 - compiler-errors:rbv-rtn-cleanup, r=cjgillotMatthias Krüger-35/+112
2024-12-01Auto merge of #133365 - compiler-errors:compare-impl-item, r=lcnrbors-47/+56
2024-11-30Remove hir::ArrayLen, introduce ConstArgKind::InferDominik Stolz-16/+9
2024-11-30Do not create trait object type if missing associated typesMichael Goulet-11/+20
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-28Replace `Symbol::intern` calls with preinterned symbolsclubby789-1/+1
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-27Address review commentsMichael Goulet-68/+74
2024-11-27Handle bounds that come from the trait itselfMichael Goulet-27/+43
2024-11-27Robustify and genericize RTN resolution in RBVMichael Goulet-33/+88
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-23Add simd_relaxed_fma intrinsicCaleb Zulawski-1/+3
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