about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
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-04intrinsics: unify rint, roundeven, nearbyint in a single round_ties_even intr...Ralf Jung-14/+4
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
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-30Do not treat vtable supertraits as distinct when bound with different bound varsMichael Goulet-2/+2
2025-01-30Rework rustc_dump_vtableMichael Goulet-6/+89
2025-01-30Auto merge of #136038 - compiler-errors:outlives, r=lcnrbors-62/+31
2025-01-30Remove `NamedVarMap`.Nicholas Nethercote-68/+26
2025-01-29Eliminate PatKind::PathOli Scherer-3/+2
2025-01-28Make item self/non-self bound naming less whackMichael Goulet-14/+13
2025-01-28Move outlives env computation into methodsMichael Goulet-7/+10
2025-01-28Consolidate OutlivesEnv construction with resolve_regionsMichael Goulet-57/+23