about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
2025-02-11compiler: replace ExternAbi::name calls with formattersJubilee Young-8/+7
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
2025-01-31Add `unchecked_disjoint_bitor` with fallback intrinsic implementationScott McMurray-1/+1
2025-02-01Use an explicit type when discarding the result of `tcx.ensure_ok()`Zalathar-5/+9
2025-02-01Rename `tcx.ensure()` to `tcx.ensure_ok()`Zalathar-100/+102
2025-01-31Make comma separated lists of anything easier to make for errorsEsteban Küber-36/+10
2025-01-31Auto merge of #136350 - matthiaskrgr:rollup-6eqfyvh, r=matthiaskrgrbors-2/+1
2025-01-31Rollup merge of #135860 - fmease:compiler-mv-obj-save-dyn-compat-ii, r=jieyouxuMatthias Krüger-2/+1
2025-01-31Auto merge of #136332 - jhpratt:rollup-aa69d0e, r=jhprattbors-308/+224
2025-01-31Auto merge of #136331 - jhpratt:rollup-curo1f4, r=jhprattbors-68/+26
2025-01-31Rollup merge of #136313 - compiler-errors:too-many-args, r=lqdJacob Pratt-0/+1
2025-01-31Rollup merge of #136281 - nnethercote:rustc_hir_analysis, r=lcnrJacob Pratt-308/+219
2025-01-31Rollup merge of #136270 - nnethercote:rm-NamedVarMap, r=jackh726Jacob Pratt-68/+26
2025-01-31Don't export `rustc_hir_analysis::collect`.Nicholas Nethercote-12/+12
2025-01-31Remove `xform` submodule.Nicholas Nethercote-26/+19
2025-01-31Remove an unnecessary loop label.Nicholas Nethercote-2/+2
2025-01-31Fix a comment typo.Nicholas Nethercote-1/+1
2025-01-31Use `.and` chaining to improve readability.Nicholas Nethercote-20/+16
2025-01-31Remove an unnecessary lifetime from `RemapLateParam`.Nicholas Nethercote-5/+4
2025-01-31Remove an unused arg from the trait method `provided_kind`.Nicholas Nethercote-3/+1
2025-01-31Remove unnecessary builders.Nicholas Nethercote-193/+139
2025-01-31Format `delegation.rs` better.Nicholas Nethercote-22/+15
2025-01-31Merge two identical match arms.Nicholas Nethercote-7/+2
2025-01-31Remove an out-of-date `FIXME` comment.Nicholas Nethercote-5/+4
2025-01-31Merge two `match` arms that are identical.Nicholas Nethercote-11/+6
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-30Filter out RPITITs when suggesting unconstrained assoc type on too many genericsMichael Goulet-0/+1