summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
2025-03-14Revert "Rollup merge of #136274 - compiler-errors:sized-wf, r=lcnr"Michael Goulet-33/+2
2025-02-13Auto merge of #136965 - jhpratt:rollup-bsnqvmf, r=jhprattbors-64/+52
2025-02-13Implement lint for definition site item shadowing tooMichael Goulet-0/+45
2025-02-13Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validityMichael Goulet-64/+52
2025-02-08Rustfmtbjorn3-63/+105
2025-02-05Eagerly detect coroutine recursion pre-mono when possibleMichael Goulet-25/+4
2025-02-05Rollup merge of #128045 - pnkfelix:rustc-contracts, r=oli-obkLeón Orell Valerian Liehr-0/+18
2025-02-04Auto merge of #136549 - matthiaskrgr:rollup-sqbpgtd, r=matthiaskrgrbors-2/+28
2025-02-04Rollup merge of #136274 - compiler-errors:sized-wf, r=lcnrMatthias Krüger-2/+28
2025-02-04Auto merge of #135760 - scottmcm:disjoint-bitor, r=WaffleLapkinbors-1/+1
2025-02-03Improve contracts intrisics and remove wrapper functionCelina G. Val-6/+4
2025-02-03Contracts core intrinsics.Felix S. Klock II-0/+20
2025-02-03Check Sizedness of return type in WFMichael Goulet-2/+28
2025-02-03Rollup merge of #136432 - fmease:lta-fix-def-site-checks, r=compiler-errors许杰友 Jieyou Xu (Joe)-11/+13
2025-02-03LTA: Check where-clauses for well-formedness at the def siteLeón Orell Valerian Liehr-11/+13
2025-01-31Add `unchecked_disjoint_bitor` with fallback intrinsic implementationScott McMurray-1/+1
2025-02-01Rename `tcx.ensure()` to `tcx.ensure_ok()`Zalathar-13/+15
2025-01-31Rollup merge of #136281 - nnethercote:rustc_hir_analysis, r=lcnrJacob Pratt-28/+21
2025-01-31Use `.and` chaining to improve readability.Nicholas Nethercote-8/+6
2025-01-31Remove an unnecessary lifetime from `RemapLateParam`.Nicholas Nethercote-5/+4
2025-01-31Remove an out-of-date `FIXME` comment.Nicholas Nethercote-5/+4
2025-01-31Avoid a duplicated error case in `fn_sig_suggestion`.Nicholas Nethercote-9/+5
2025-01-31Clarify a comment.Nicholas Nethercote-1/+2
2025-01-30review comment: change `span` argumentEsteban Küber-4/+4
2025-01-30When encountering unexpected closure return type, point at return type/expres...Esteban Küber-0/+4
2025-01-30Auto merge of #136038 - compiler-errors:outlives, r=lcnrbors-51/+27
2025-01-29Eliminate PatKind::PathOli Scherer-1/+0
2025-01-28Make item self/non-self bound naming less whackMichael Goulet-1/+1
2025-01-28Move outlives env computation into methodsMichael Goulet-7/+10
2025-01-28Consolidate OutlivesEnv construction with resolve_regionsMichael Goulet-46/+19
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