about summary refs log tree commit diff
path: root/compiler/rustc_middle/src
AgeCommit message (Expand)AuthorLines
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-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 #145377 - ChayimFriedman2:solver-def-id, r=lcnrbors-22/+48
2025-08-27inline at the callsite & warn when target features mismatchJames Barford-Evans-1/+1
2025-08-27change order of `nested_bodies_within`lcnr-0/+2
2025-08-27Auto merge of #140737 - amandasystems:revised-constraint-search, r=lcnrbors-2/+9
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
2025-08-22Rollup merge of #145695 - cjgillot:place-elem-map, r=oli-obk,lcnrJacob Pratt-1/+36
2025-08-22Rollup merge of #145573 - veluca93:unsafe-force-target-feature, r=davidtwcoJacob Pratt-3/+13
2025-08-22Separate transmute checking from typeck.Camille Gillot-0/+11
2025-08-22interpret/allocation: get_range on ProvenanceMapNia Espera-0/+11
2025-08-22Stabilize `round_char_boundary` featureokaneco-1/+1
2025-08-22change HIR typeck unification handling approachlcnr-0/+27
2025-08-22Region inference: Use outlives-static constraints in constraint searchAmanda Stjerna-2/+9
2025-08-22Refactor lint buffering to avoid requiring a giant enumJosh Triplett-4/+3
2025-08-22Auto merge of #145358 - Kobzol:symbol-name-sort, r=nnethercotebors-3/+20
2025-08-22Add an experimental unsafe(force_target_feature) attribute.Luca Versari-3/+13
2025-08-21next-solver fix const_trait_impl bootstraplcnr-2/+5
2025-08-21Rollup merge of #145627 - compiler-errors:const-supertrait-dyn-compat, r=fee1...Jacob Pratt-7/+16