about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2025-09-07Rollup merge of #146297 - cjgillot:may-observe-address, r=saethlinMatthias Krüger-0/+18
2025-09-07Introduce PlaceContext::may_observe_address.Camille GILLOT-0/+18
2025-09-05rustc_middle: clippy fixesMarijn Schouten-20/+14
2025-09-04Rollup merge of #146182 - ChayimFriedman2:ns-probe, r=jackh726Jacob Pratt-2/+2
2025-09-04Rollup merge of #145932 - JamieCunliffe:target-feature-inlining, r=jackh726Stuart Cook-1/+1
2025-09-04Rollup merge of #145342 - dianne:if-let-super-let, r=nnethercoteStuart Cook-35/+41
2025-09-04Don't require next-solver `ProbeRef` to be `Copy`Chayim Refael Friedman-2/+2
2025-09-02Auto merge of #146125 - GuillaumeGomez:rollup-ld81n7e, r=GuillaumeGomezbors-1/+1
2025-09-02Rollup merge of #146102 - fmease:rm-dead-eff-code-iii, r=fee1-deadGuillaume Gomez-1/+1
2025-09-02Auto merge of #145951 - lcnr:proof-tree-as-query, r=compiler-errorsbors-3/+28
2025-09-02Revert introduction of `[workspace.dependencies]`.Nicholas Nethercote-6/+6
2025-09-02Migrate more things in the new solver to specific `DefId`sChayim Refael Friedman-1/+27
2025-09-01Auto merge of #145925 - lcnr:revealing-use-closures-2, r=BoxyUwUbors-0/+2
2025-09-01Remove dead code stemming from an old effects desugaringLeón Orell Valerian Liehr-1/+1
2025-09-01Rollup merge of #146042 - estebank:issue-83413, r=lcnrStuart Cook-2/+6
2025-09-01Introduce `MirDumper` and `MirWriter`.Nicholas Nethercote-142/+144
2025-09-01Indent some functions.Nicholas Nethercote-322/+322
2025-09-01Use trait object references for closures.Nicholas Nethercote-41/+21
2025-09-01Avoid unnecessary `mut`-ness for various closures.Nicholas Nethercote-14/+14
2025-09-01Inline and remove `dump_matched_mir_node`.Nicholas Nethercote-25/+11
2025-08-31Split `ObligationCauseCode::BinOp` for unops to `UnOp`Esteban Küber-2/+6
2025-08-29Rollup merge of #145756 - okaneco:stabilize_char_boundary, r=scottmcmTrevor Gross-1/+1
2025-08-29cleanup proof tree implementation and add cachelcnr-3/+28
2025-08-29Auto merge of #145978 - Zalathar:rollup-0dzk72g, r=Zalatharbors-3/+3
2025-08-29Auto merge of #145377 - ChayimFriedman2:solver-def-id, r=lcnrbors-22/+48
2025-08-28Add `polonius-engine` to `[workspace.dependencies]`.Nicholas Nethercote-1/+1
2025-08-28Add `rustc_apfloat` to `[workspace.dependencies]`.Nicholas Nethercote-1/+1
2025-08-28Add `either` to `[workspace.dependencies]`.Nicholas Nethercote-1/+1
2025-08-27inline at the callsite & warn when target features mismatchJames Barford-Evans-1/+1
2025-08-27Auto merge of #145923 - matthiaskrgr:rollup-rkejtos, r=matthiaskrgrbors-3/+3
2025-08-27change order of `nested_bodies_within`lcnr-0/+2
2025-08-27Rollup merge of #145740 - nnethercote:workspace-members, r=KobzolMatthias Krüger-3/+3
2025-08-27Auto merge of #140737 - amandasystems:revised-constraint-search, r=lcnrbors-2/+9
2025-08-27Add `tracing` to `[workspace.dependencies]`.Nicholas Nethercote-1/+1
2025-08-27Add `bitflags` to `[workspace.dependencies]`.Nicholas Nethercote-1/+1
2025-08-27Add `thin-vec` to newly added `[workspace.dependencies]`.Nicholas Nethercote-1/+1
2025-08-27Auto merge of #144841 - cjgillot:typeck-no-attrs, r=davidtwcobors-0/+7
2025-08-26Rollup merge of #145892 - jdonszelmann:codegen-fn-attrs-foreign-item, r=bjorn3Samuel Tardieu-4/+5
2025-08-26add a flag to codegen fn attrs for foreign itemsJana Dönszelmann-4/+5
2025-08-25Auto merge of #145711 - lcnr:non-defining-uses-hir-typeck, r=BoxyUwUbors-3/+4
2025-08-25Switch next solver to use a specific associated type for trait def idChayim Refael Friedman-22/+48
2025-08-25fold regions, don't eraselcnr-3/+4
2025-08-25Remove bug comments from Repeat variantRyan Lee-5/+0
2025-08-24Support lints in early attribute parsingJana Dönszelmann-0/+2
2025-08-23Auto merge of #145796 - samueltardieu:rollup-linfi86, r=samueltardieubors-2/+16
2025-08-23Rollup merge of #145713 - lcnr:const-trait-bootstrap, r=compiler-errorsSamuel Tardieu-2/+5
2025-08-23Rollup merge of #145540 - nia-e:prov-map-range, r=RalfJungSamuel Tardieu-0/+11
2025-08-23Auto merge of #145706 - lcnr:uniquification, r=BoxyUwUbors-0/+27
2025-08-23Auto merge of #145773 - jhpratt:rollup-kocqnzv, r=jhprattbors-8/+52
2025-08-22Rollup merge of #145747 - joshtriplett:builtin-diag-dyn, r=jdonszelmannJacob Pratt-4/+3