about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
2025-01-27Use identifiers in diagnostics more oftenMichael Goulet-3/+3
2025-01-23`visit_x_unambig`Boxy-1/+1
2025-01-23Split hir `TyKind` and `ConstArgKind` in two and update `hir::Visitor`Boxy-8/+8
2025-01-21Auto merge of #134299 - RalfJung:remove-start, r=compiler-errorsbors-82/+1
2025-01-21remove support for the #[start] attributeRalf Jung-82/+1
2025-01-17remove unnecessary assertion for reference erroryukang-1/+0
2025-01-13rm unnecessary `OpaqueTypeDecl` wrapperlcnr-3/+3
2025-01-12Rollup merge of #135378 - compiler-errors:unnecessary-stashing, r=chenyukangMatthias Krüger-1/+1
2025-01-11Remove a bunch of diagnostic stashing that doesn't do anythingMichael Goulet-1/+1
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-2/+2
2025-01-09Rename RegionResolutionVisitor to ScopeResolutionVisitorMichael Goulet-12/+12
2025-01-09Make sure to walk into nested const blocks in RegionResolutionVisitorMichael Goulet-4/+8
2025-01-09Rollup merge of #135269 - estebank:unneeded-into, r=compiler-errorsMatthias Krüger-1/+1
2025-01-08Remove some unnecessary `.into()` callsEsteban Küber-1/+1
2025-01-08Rename PatKind::Lit to ExprOli Scherer-1/+1
2025-01-07Rollup merge of #134989 - max-niederman:guard-patterns-hir, r=oli-obkMatthias Krüger-1/+4
2025-01-06Rollup merge of #134742 - compiler-errors:post-borrowck-analysis, r=lcnrMatthias Krüger-8/+15
2025-01-04Rollup merge of #135046 - RalfJung:rustc_box_intrinsic, r=compiler-errorsJubilee-0/+3
2025-01-04Auto merge of #135031 - RalfJung:intrinsics-without-body, r=oli-obkbors-6/+6
2025-01-04turn hir::ItemKind::Fn into a named-field variantRalf Jung-6/+6
2025-01-03turn rustc_box into an intrinsicRalf Jung-0/+3
2025-01-03Report impl has stricter requirements even when RPITIT inference gets in the wayMichael Goulet-0/+20
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-31add guard patterns to HIR and implement loweringMax Niederman-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-25Use PostBorrowckAnalysis in check_coroutine_obligationsMichael Goulet-8/+15
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