about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
2025-02-25Don't require method impls for methods with `Self:Sized` bounds for impls for...Oli Scherer-1/+40
2025-02-25Auto merge of #137573 - compiler-errors:rollup-noq9yhp, r=compiler-errorsbors-6/+21
2025-02-24Rollup merge of #137556 - RalfJung:simd_shuffle_const_generic, r=oli-obkMichael Goulet-1/+1
2025-02-24rename simd_shuffle_generic → simd_shuffle_const_genericRalf Jung-1/+1
2025-02-24Better error message for unsized pointersMichael Goulet-1/+18
2025-02-24Properly support thin ptrs that are only thin due to their param-env in asm m...Michael Goulet-4/+2
2025-02-24Introduce new-style attribute parsers for several attributesJana Dönszelmann-14/+21
2025-02-24Change span field accesses to method callsJana Dönszelmann-3/+3
2025-02-23Rollup merge of #136543 - RalfJung:round-ties-even, r=tgross35Trevor Gross-14/+8
2025-02-22make the new intrinsics safeRalf Jung-0/+4
2025-02-22Make a fake body to store typeck results for global_asmMichael Goulet-33/+26
2025-02-22Initial cleanups of InlineAsmCtxtMichael Goulet-57/+35
2025-02-22Make asm a named fieldMichael Goulet-1/+1
2025-02-21Move methods from Map to TyCtxt, part 3.Nicholas Nethercote-3/+3
2025-02-19Restrict bevy hackMichael Goulet-28/+26
2025-02-18Rollup merge of #137000 - compiler-errors:deeply-normalize-item-bounds, r=lcnrMatthias Krüger-42/+22
2025-02-18Move methods from `Map` to `TyCtxt`, part 2.Nicholas Nethercote-8/+7
2025-02-17Deeply normalize associated type bounds before proving themMichael Goulet-42/+22
2025-02-17Overhaul the `intravisit::Map` trait.Nicholas Nethercote-2/+2
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-15/+13
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-04intrinsics: unify rint, roundeven, nearbyint in a single round_ties_even intr...Ralf Jung-14/+4
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