about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
2025-02-17Auto merge of #137164 - matthiaskrgr:rollup-dj5826k, r=matthiaskrgrbors-205/+113
2025-02-17Overhaul the `intravisit::Map` trait.Nicholas Nethercote-12/+12
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-41/+39
2025-02-15HIR analysis: Remove unnecessary abstraction over list of clausesLeón Orell Valerian Liehr-205/+113
2025-02-13Auto merge of #136593 - lukas-code:ty-value-perf, r=oli-obkbors-1/+1
2025-02-13Auto merge of #136965 - jhpratt:rollup-bsnqvmf, r=jhprattbors-78/+80
2025-02-13Rollup merge of #136948 - workingjubilee:split-off-extern-system-varargs, r=c...Jacob Pratt-14/+28
2025-02-13Rollup merge of #136660 - compiler-errors:BikeshedGuaranteedNoDrop, r=lcnrJacob Pratt-64/+52
2025-02-13Implement lint for definition site item shadowing tooMichael Goulet-1/+72
2025-02-12Split out the `extern_system_varargs` featureJubilee Young-14/+28
2025-02-13Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validityMichael Goulet-64/+52
2025-02-12Rollup merge of #136806 - adwinwhite:cycle-in-pretty-print-rpitit, r=compiler...Jacob Pratt-43/+45
2025-02-12Rollup merge of #135841 - oli-obk:push-qxlnokwrkkym, r=compiler-errorsJacob Pratt-2/+2
2025-02-13intern valtreesLukas Markeffsky-1/+1
2025-02-12Auto merge of #136918 - GuillaumeGomez:rollup-f6h21gg, r=GuillaumeGomezbors-30/+51
2025-02-12Rollup merge of #136900 - workingjubilee:format-externabi-directly, r=oli-obkGuillaume Gomez-8/+7
2025-02-12Rollup merge of #134981 - estebank:issue-93993, r=BoxyUwUGuillaume Gomez-22/+44
2025-02-12Auto merge of #136897 - workingjubilee:revert-unfcped-stab, r=WaffleLapkinbors-3/+31
2025-02-12Rollup merge of #136891 - compiler-errors:unconstrained-anon-lt, r=lqdMatthias Krüger-21/+23
2025-02-11compiler: replace ExternAbi::name calls with formattersJubilee Young-8/+7
2025-02-11Revert "Stabilize `extended_varargs_abi_support`"Jubilee Young-3/+31
2025-02-11Remove some the spans pointing at the enum in the path and its generic argsEsteban Küber-8/+5
2025-02-11Explain that in paths generics can't be set on both the enum and the variantEsteban Küber-22/+47
2025-02-11Check sig for errors before checking for unconstrained anonymous lifetimeMichael Goulet-21/+23
2025-02-11Lower fn items as ZST valtrees and delay a bugMichael Goulet-5/+9
2025-02-11Reject `impl Trait` bounds in various places where we unconditionally warned ...Oli Scherer-2/+2
2025-02-11reduce query calls in pretty printing when finding bounds ofAdwin White-43/+45
2025-02-11Rollup merge of #136107 - dingxiangfei2009:coerce-pointee-wellformed, r=compi...Matthias Krüger-0/+69
2025-02-09move repr(transparent) checks to coherenceDing Xiang Fei-0/+10
2025-02-09rename the trait to validity and place a feature gate afrontDing Xiang Fei-8/+17
2025-02-09introduce CoercePointeeWellformed for coherence checks at typeck stageDing Xiang Fei-0/+50
2025-02-08Rustfmtbjorn3-114/+169
2025-02-06Rollup merge of #136073 - compiler-errors:recursive-coro-always, r=oli-obkMatthias Krüger-25/+4
2025-02-05Rollup merge of #136550 - compiler-errors:rpitit-empty-body, r=oli-obkJubilee-0/+9
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-83/+52
2025-02-04Fix rustc_hidden_type_of_opaques for RPITITs with no default bodyMichael Goulet-0/+9
2025-02-04Rollup merge of #136284 - oli-obk:push-zsxuwnzmonnl, r=lcnrMatthias Krüger-81/+24
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-04Allow using named consts in pattern typesOli Scherer-0/+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-03Use a different hir type for patterns in pattern types than we use in match p...Oli Scherer-81/+23
2025-02-03LTA: Check where-clauses for well-formedness at the def siteLeón Orell Valerian Liehr-11/+13
2025-02-02Maintain a list of types permitted per patternOli Scherer-1/+26
2025-02-02Rollup merge of #136368 - estebank:listify, r=fee1-deadMatthias Krüger-36/+10