about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2025-09-12Introduce trait_item_ofCameron Steffen-0/+9
2025-09-12Auto merge of #146329 - lcnr:opaque-type-infer-alias-candidates, r=BoxyUwUbors-1/+5
2025-09-12Auto merge of #146328 - zetanumbers:fix-141951, r=lcnrbors-4/+1
2025-09-11incompletely prefer opaque type bounds when self type bottoms out in inferMichael Goulet-1/+5
2025-09-10Rollup merge of #146391 - beepster4096:trimnt, r=saethlinMatthias Krüger-5/+7
2025-09-10Rollup merge of #146178 - folkertdev:static-align, r=jdonszelmann,ralfjung,tr...Matthias Krüger-1/+10
2025-09-09don't trim paths in mir dumping when filtering and at the top of the filebeepster4096-5/+7
2025-09-09allow `#[rustc_align_static(N)]` on `static`sFolkert de Vries-1/+10
2025-09-09Auto merge of #145717 - BoxyUwU:erase_regions_rename, r=lcnrbors-35/+41
2025-09-09Driveby fixesBoxy-3/+2
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-34/+41
2025-09-09Rollup merge of #146324 - RalfJung:no-ptr-fragment, r=oli-obkStuart Cook-2/+19
2025-09-09Rollup merge of #145819 - jdonszelmann:convert-limits, r=fmeaseStuart Cook-5/+7
2025-09-08fixup limit handling codeJana Dönszelmann-5/+7
2025-09-08Auto merge of #140375 - lcnr:subrelations-infcx, r=BoxyUwUbors-1/+0
2025-09-08Rollup merge of #146313 - nnethercote:rustc_middle-ty-cleanups-2, r=lcnrMatthias Krüger-82/+13
2025-09-08Rollup merge of #146111 - ChayimFriedman2:more-ns-specific-defid, r=lcnrMatthias Krüger-1/+27
2025-09-08inline `CanonicalTyVarKind`lcnr-1/+0
2025-09-08Skip typeck for items w/o their own typeck contextDaria Sukhonina-4/+1
2025-09-08const-eval: disable pointer fragment supportRalf Jung-2/+19
2025-09-08Move `describe_as_module` from `rustc_middle::print` to `rustc:middle::query`.Nicholas Nethercote-12/+11
2025-09-08Move `rustc_middle::MaxUniverse` to `rustc_infer`.Nicholas Nethercote-40/+0
2025-09-08Make some matches non-exhaustive.Nicholas Nethercote-30/+2
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