summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
2025-01-01Rollup merge of #135000 - compiler-errors:opaque-captures-dupe, r=lqdMatthias Krüger-1/+4
2025-01-01Fix ICE when opaque captures a duplicated/invalid lifetimeMichael Goulet-1/+4
2024-12-30Auto merge of #134757 - RalfJung:const_swap, r=scottmcmbors-1/+3
2024-12-27Move `{widening, carrying}_mul` to an intrinsic with fallback MIRScott McMurray-0/+5
2024-12-25rename typed_swap → typed_swap_nonoverlappingRalf Jung-1/+3
2024-12-19Auto merge of #134499 - jieyouxu:rollup-zmaveur, r=jieyouxubors-11/+11
2024-12-19Rename Scope.id to Scope.local_id, remove trivial accessorMichael Goulet-11/+11
2024-12-18introduce `LateParamRegionKind`lcnr-8/+16
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-8/+4
2024-12-16rename rustc_attr to rustc_attr_parsing and create rustc_attr_data_structuresJonathan Dönszelmann-1/+1
2024-12-15Rollup merge of #134285 - oli-obk:push-vwrqsqlwnuxo, r=UrgauStuart Cook-2/+2
2024-12-14Add some convenience helper methods on `hir::Safety`Oli Scherer-2/+2
2024-12-14Arbitrary self types v2: Weak, NonNull hintsAdrian Taylor-1/+13
2024-12-13Arbitrary self types v2: adjust diagnostic.Adrian Taylor-1/+7
2024-12-12Auto merge of #132961 - adetaylor:arbitrary-self-types-the-big-bit, r=compile...bors-10/+17
2024-12-11Clarify why a type is rejected for asm!Oli Scherer-44/+73
2024-12-11Evaluate constants in SIMD vec lengths before rejecting themOli Scherer-0/+1
2024-12-11Arbitrary self types v2: use Receiver traitAdrian Taylor-10/+17
2024-12-09Unconditionally error at definition if default field value has const errorsEsteban Küber-0/+19
2024-12-03Rollup merge of #133726 - joshtriplett:breakpoint, r=oli-obkMatthias Krüger-0/+1
2024-12-02Add `core::arch::breakpoint` and testJosh Triplett-0/+1
2024-12-03Rollup merge of #133517 - compiler-errors:deep-norm, r=lcnrMatthias Krüger-2/+1
2024-12-03Rollup merge of #133395 - calebzulawski:simd_relaxed_fma, r=workingjubileeMatthias Krüger-1/+3
2024-12-02Assert that obligations are empty before deeply normalizingMichael Goulet-2/+1
2024-12-02Rollup merge of #133610 - camelid:move-from_anon_const, r=BoxyUwUGuillaume Gomez-13/+8
2024-12-02Move `Const::{from_anon_const,try_from_lit}` to hir_ty_loweringNoah Lev-13/+8
2024-12-02remove `Ty::is_copy_modulo_regions`lcnr-2/+2
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-28support revealing defined opaque post borrowcklcnr-3/+11
2024-11-28uplift fold_regions to rustc_type_irlcnr-2/+2
2024-11-28Rollup merge of #133428 - compiler-errors:rpitit-unsound, r=lcnrGuillaume Gomez-27/+21
2024-11-27Further simplificationsMichael Goulet-21/+15
2024-11-26Auto merge of #132894 - frank-king:feature/where-refactor, r=cjgillotbors-6/+6
2024-11-25Refactor `where` predicates, and reserve for attributes supportFrank King-6/+6
2024-11-25Rollup merge of #131664 - taiki-e:s390x-asm-vreg-inout, r=AmanieuMatthias Krüger-11/+27
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/+27
2024-11-23Add simd_relaxed_fma intrinsicCaleb Zulawski-1/+3
2024-11-23no more Reveal :(lcnr-9/+9
2024-11-21Implement the unsafe-fields RFC.Luca Versari-32/+72
2024-11-21Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-deadMatthias Krüger-1/+3
2024-11-20reduce false positives of tail-expr-drop-order from consumed valuesDing Xiang Fei-2/+18
2024-11-19additional `TypingEnv` cleanupslcnr-3/+3
2024-11-19Implement ~const opaquesMichael Goulet-0/+2
2024-11-19Rename implied_const_bounds to explicit_implied_const_boundsMichael Goulet-1/+1
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-11/+16
2024-11-18reviewlcnr-1/+1
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-12/+15
2024-11-17Rollup merge of #132795 - compiler-errors:refine-rpitit, r=lcnrJacob Pratt-1/+101