about summary refs log tree commit diff
path: root/compiler/rustc_mir_build
AgeCommit message (Expand)AuthorLines
2023-05-25Remove DesugaringKind::Replace.Camille GILLOT-4/+6
2023-05-25Correct comment on privately uninhabited pattern.Camille GILLOT-2/+2
2023-05-25Rollup merge of #111624 - cjgillot:private-uninhabited-pattern, r=petrochenkovMatthias Krüger-0/+22
2023-05-25Auto merge of #111925 - Manishearth:rollup-z6z6l2v, r=Manishearthbors-7/+7
2023-05-24Rollup merge of #111841 - matthewjasper:validate-match-guards, r=compiler-errorsMatthias Krüger-2/+6
2023-05-24Emit diagnostic for privately uninhabited uncovered witnesses.Camille GILLOT-0/+22
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-7/+7
2023-05-23Rollup merge of #111579 - scottmcm:enum-as-signed, r=oli-obkDylan DPC-43/+58
2023-05-23Rollup merge of #111501 - WaffleLapkin:drivebycleanupuwu, r=oli-obkDylan DPC-12/+16
2023-05-22Run AST validation on match guards correctlyMatthew Jasper-2/+6
2023-05-20don't skip inference for type in `offset_of!`Lukas Markeffsky-4/+3
2023-05-19Drive-by-cleanup: Don't emit `thir::ExprKind::NeverToAny` for `! -> !`Maybe Waffle-0/+1
2023-05-19Consider lint check attributes on match arms in match checksRyo Yoshida-23/+35
2023-05-18Also assume wrap-around discriminants in `as` MIR buildingScott McMurray-43/+58
2023-05-17`rustc_mir_build`: drive-by-cleaup: replace nested ifs with a `match`Maybe Waffle-6/+9
2023-05-17`rustc_mir_build`: drive-by-cleanup: remove some local mutable stateMaybe Waffle-6/+6
2023-05-16Erase regions of type in `offset_of!`clubby789-3/+4
2023-05-16Auto merge of #105750 - oli-obk:valtrees, r=lcnrbors-54/+84
2023-05-16Document how constants as opaque patterns behave differently.Oli Scherer-4/+20
2023-05-15Rollup merge of #111587 - cbeuw:copy-for-deref, r=oli-obkMatthias Krüger-0/+1
2023-05-15Rollup merge of #111578 - Zoxc:query-macro-move, r=cjgillotMatthias Krüger-1/+1
2023-05-15Update some commentsOli Scherer-9/+5
2023-05-15Always fall back to PartialEq when a constant in a pattern is not recursively...Oli Scherer-36/+51
2023-05-15Unnest a variable in prep for the next commit which needs access to the placeOli Scherer-5/+8
2023-05-15Add CopyForDeref to custom MIRAndy Wang-0/+1
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+1
2023-05-15Auto merge of #111570 - compiler-errors:ct-err, r=BoxyUwUbors-1/+1
2023-05-14Rename const error methods for consistencyMichael Goulet-1/+1
2023-05-13Implement references VarDebugInfo.Camille GILLOT-0/+4
2023-05-11Rollup merge of #108705 - clubby789:refutable-let-closure-borrow, r=cjgillotMatthias Krüger-12/+17
2023-05-05Rollup merge of #108801 - fee1-dead-contrib:c-str, r=compiler-errorsDylan DPC-0/+6
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-1/+1
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-7/+7
2023-05-02Auto merge of #111082 - saethlin:box-assertkind, r=saethlinbors-1/+1
2023-05-02update and add a few testsDeadbeef-0/+6
2023-05-01Box AssertKindBen Kimock-1/+1
2023-05-01fix doc test in mir_build for removing type ascriptionyukang-2/+1
2023-05-01Rollup merge of #111015 - cjgillot:chained-let-and, r=compiler-errorsMatthias Krüger-3/+0
2023-04-30Bail out of MIR construction if `check_match` failsclubby789-12/+17
2023-04-30Remove wrong assertion.Camille GILLOT-3/+0
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-1/+1
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-10/+10
2023-04-23Auto merge of #108118 - oli-obk:lazy_typeck, r=cjgillotbors-0/+7
2023-04-22Auto merge of #106934 - DrMeepster:offset_of, r=WaffleLapkinbors-2/+31
2023-04-21Run `check_match` and `check_liveness` when MIR is built instead of having an...Oli Scherer-0/+7
2023-04-21minor tweaksDrMeepster-3/+3
2023-04-21intern offsetof fieldsDrMeepster-3/+3
2023-04-21offset_ofDrMeepster-4/+33
2023-04-20Remove WithOptconstParam.Camille GILLOT-97/+53
2023-04-19Auto merge of #110407 - Nilstrieb:fluent-macro, r=davidtwcobors-1/+2