about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/builder
AgeCommit message (Expand)AuthorLines
2025-10-02Auto merge of #147055 - beepster4096:subtype_is_not_a_projection, r=lcnrbors-2/+1
2025-09-26fix doc comments to be more standardMarijn Schouten-5/+1
2025-09-26ProjectionElem::Subtype -> CastKind::Subtypebeepster4096-2/+1
2025-09-25mark THIR use as candidate for constness checkDing Xiang Fei-1/+4
2025-09-25do not materialise X in [X; 0] when X is unsizing a constDing Xiang Fei-1/+20
2025-09-16Remove Rvalue::Len.Camille Gillot-3/+8
2025-09-01Auto merge of #144783 - folkertdev:loop-match-diverging-loop, r=SparrowLiibors-4/+6
2025-09-01Introduce `MirDumper` and `MirWriter`.Nicholas Nethercote-14/+4
2025-09-01Avoid unnecessary `mut`-ness for various closures.Nicholas Nethercote-1/+1
2025-08-21Rollup merge of #144780 - bjorn3:mir_build_debug, r=matthewjasperJacob Pratt-0/+37
2025-08-18Rollup merge of #145206 - scrabsha:push-uxovoqzrxnlx, r=jdonszelmannStuart Cook-37/+37
2025-08-15Port `#[custom_mir(..)]` to the new attribute systemSasha Pourcelot-37/+37
2025-08-14Apply suggestions from code reviewRalf Jung-3/+3
2025-08-14avoid unnecessary type sanity checksRalf Jung-2/+2
2025-08-14shrink TestBranch::Constant and PatRangeBoundary::FiniteRalf Jung-6/+8
2025-08-14use ty::Value instead of manual pairs of types and valtreesRalf Jung-26/+20
2025-08-14pattern testing: store constants as valtreesRalf Jung-47/+43
2025-08-14PatKind: store constants as valtreesRalf Jung-5/+9
2025-08-13Also dump coverage infobjorn3-2/+17
2025-08-13Add a method to dump MIR in the middle of MIR buildingbjorn3-0/+22
2025-08-10add place mention for `#[loop_match]` scrutineeFolkert de Vries-3/+5
2025-08-09Auto merge of #143376 - dianne:guard-scope, r=matthewjasperbors-45/+72
2025-08-08Rollup merge of #144999 - Zalathar:remove-mcdc, r=oli-obkStuart Cook-359/+7
2025-08-07only introduce a guard scope for arms with guardsdianne-4/+20
2025-08-07add a scope for `if let` guard temporaries and bindingsdianne-45/+56
2025-08-07Rollup merge of #143764 - dianne:primary-binding-drop-order, r=Nadrieril,trav...Stuart Cook-43/+118
2025-08-07Rollup merge of #143028 - dianne:let-else-storage, r=oli-obk,traviscrossStuart Cook-55/+9
2025-08-06lower bindings in the order they're writtendianne-15/+95
2025-08-06base drop order on the first sub-branchdianne-9/+3
2025-08-06don't schedule unnecessary drops when lowering or-patternsdianne-28/+29
2025-08-06coverage: Remove all unstable support for MC/DC instrumentationZalathar-359/+7
2025-08-04fix `#[loop_match]` on diverging loopFolkert de Vries-1/+1
2025-08-02Rollup merge of #144478 - joshtriplett:doc-code-formatting-prep, r=AmanieuSamuel Tardieu-1/+3
2025-07-26Rollup merge of #143585 - folkertdev:loop-match-suggest-const-block, r=oli-obkTrevor Gross-3/+26
2025-07-25Improve and regularize comment placement in doc codeJosh Triplett-1/+3
2025-07-26`loop_match`: suggest extracting to a `const` itemFolkert de Vries-3/+26
2025-07-24Auto merge of #144389 - scottmcm:no-more-mir-cast-assume, r=davidtwcobors-78/+2
2025-07-24MIR-build: No longer emit assumes in enum-as castingScott McMurray-78/+2
2025-07-23Remove useless lifetime parameter.Camille GILLOT-22/+4
2025-07-23Give an AllocId to ConstValue::Slice.Camille GILLOT-13/+28
2025-07-09Auto merge of #143472 - dianne:deref-pat-column-check, r=Nadrierilbors-0/+1
2025-07-07`loop_match`: fix 'no terminator on block'Folkert de Vries-1/+3
2025-07-05Remove yields_in_scope from the scope tree.Camille GILLOT-3/+0
2025-07-04only check for mixed deref/normal constructors when neededdianne-0/+1
2025-07-01loop match: handle opaque patternsFolkert de Vries-2/+4
2025-07-01loop match: run exhaustiveness checkFolkert de Vries-4/+8
2025-07-01Auto merge of #141875 - nnethercote:ByteSymbol, r=petrochenkovbors-11/+12
2025-06-30Introduce `ByteSymbol`.Nicholas Nethercote-11/+12
2025-06-29mir: Add a `new` method to `statement`dianqk-55/+50
2025-06-25emit `StorageLive` and schedule `StorageDead` for `let`-`else` after matchingdianne-55/+9