about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src
AgeCommit message (Expand)AuthorLines
2023-06-04Show note for type ascription interpreted as a constant pattern, not a new va...许杰友 Jieyou Xu (Joe)-1/+6
2023-06-02Separate AnonConst from ConstBlock in HIR.Camille GILLOT-12/+5
2023-05-31Inline from_inline_const into its sole call siteOli Scherer-32/+61
2023-05-31Explain and simplify valtree -> mir-const fallbackOli Scherer-7/+9
2023-05-31`bug!` message nitOli Scherer-1/+1
2023-05-31Simplify an `if let Some` to a `?`Oli Scherer-13/+10
2023-05-31Remove some dead codeOli Scherer-15/+2
2023-05-31Remove `lit_to_mir_constant` queryOli Scherer-12/+11
2023-05-31Remove `deref_mir_constant`Oli Scherer-3/+0
2023-05-31Only rewrite valtree-constants to patterns and keep other constants opaqueOli Scherer-156/+224
2023-05-30Remove a hack that has become obsolete after https://github.com/rust-lang/rus...Oli Scherer-13/+1
2023-05-30Get `lit_to_const` in sync with `const_to_valtree_inner`Oli Scherer-0/+13
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-1/+1
2023-05-27Rollup merge of #111952 - cjgillot:drop-replace, r=WaffleLapkinGuillaume Gomez-4/+6
2023-05-26Rollup merge of #111951 - cjgillot:uninh-comment, r=NadrierilMatthias Krüger-2/+2
2023-05-25Rollup merge of #111757 - lowr:fix/lint-attr-on-match-arm, r=eholkMichael Goulet-23/+35
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/+20
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/+20
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