summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/syntax.rs
AgeCommit message (Expand)AuthorLines
2022-12-09Rollup merge of #105455 - lcnr:correct-reveal-in-validate, r=jackh726Matthias Krüger-0/+8
2022-12-08validate: use the correct reveal during optslcnr-0/+8
2022-12-06make retagging work even with 'unstable' placesRalf Jung-1/+1
2022-12-01Don't go through the formatting infrastructure just to get the name of a phaseOli Scherer-0/+13
2022-11-25Add empty ConstKind::Abstractkadmin-2/+4
2022-11-13fix some typos in commentscui fliter-1/+1
2022-10-12Use `tidy-alphabetical` in the compilerNilstrieb-1/+2
2022-10-06Remove `mir::CastKind::Misc`ouz-a-2/+6
2022-09-26remove cfg(bootstrap)Pietro Albini-1/+0
2022-09-20Rollup merge of #101976 - RalfJung:mir-semantic-phases, r=oli-obkMichael Howell-3/+4
2022-09-18clarify that linting is not a semantic changeRalf Jung-3/+4
2022-09-16Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r...Oli Scherer-0/+7
2022-09-15derive TypeVisitable and TypeFoldable for mir typesOli Scherer-5/+6
2022-09-15Derive TypeFoldable and TypeVisitable for mir::PlaceElementOli Scherer-1/+1
2022-09-12dyn* through more typechecking and MIREric Holk-0/+2
2022-09-08Rollup merge of #101545 - TaKO8Ki:remove-unnecessary-partialord-ord, r=oli-obkDylan DPC-1/+1
2022-09-08remove unnecessary `PartialOrd` and `Ord`Takayuki Maeda-1/+1
2022-09-07Use niche-filling optimization even when multiple variants have data.Michael Benfield-1/+2
2022-09-06Update docsOli Scherer-2/+2
2022-09-06Generalize the Assume intrinsic statement to a general Intrinsic statementOli Scherer-11/+39
2022-09-06Lower the assume intrinsic to a MIR statementOli Scherer-0/+8
2022-08-31Fix a bunch of typoDezhi Wu-2/+2
2022-08-30Refactor MIR phasesJakob Degen-54/+89
2022-08-01Rollup merge of #100003 - nnethercote:improve-size-assertions, r=lqdMatthias Krüger-17/+12
2022-08-01Improve size assertions.Nicholas Nethercote-17/+12
2022-07-30Use LocalDefId for closures moreCameron Steffen-5/+11
2022-07-20Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank"Oli Scherer-7/+0
2022-07-15Introduce opaque type to hidden type projectionOli Scherer-0/+7
2022-07-12add new rval, pull deref earlyouz-a-3/+13
2022-07-08Clarify MIR semantics of storage statementsJakob Degen-13/+13
2022-07-06Rollup merge of #98984 - pierwill:patch-4, r=RalfJungGuillaume Gomez-1/+1
2022-07-06Remove erroneous doc commentpierwill-1/+1
2022-07-06docs: Add overview of `rustc_middle::mir::TerminatorKind`pierwill-0/+2
2022-07-06Auto merge of #98206 - eggyal:align-to-chalk-folding-api, r=jackh726bors-4/+8
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-4/+8
2022-07-05always check overflow in CheckedBinOp in CTFERalf Jung-2/+3
2022-07-04Rollup merge of #98878 - lcnr:more-rustc_pass_by_value, r=oli-obkMatthias Krüger-0/+1
2022-07-04more `rustc_pass_by_value`lcnr-0/+1
2022-06-30Clarify MIR semantics of checked binary operationsTomasz Miąsko-4/+12
2022-06-29fix doc issuesRalf Jung-6/+6
2022-06-29move MIR syntax into a dedicated file and ping some people whenever it changesRalf Jung-0/+1141