summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir
AgeCommit message (Expand)AuthorLines
2022-10-04Make QueryOutlivesConstraint contain a ConstraintCategoryJack Huey-2/+2
2022-09-17Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnrbors-46/+89
2022-09-16Revert "Better errors for implied static bound"Jack Huey-2/+2
2022-09-15nitsb-naber-0/+1
2022-09-15Merge all `TypeVisitable for &List<T>` impls into one generic oneOli Scherer-6/+0
2022-09-15Replace more manual TypeFoldable and TypeVisitable impls with derivesOli Scherer-1/+1
2022-09-15derive TypeVisitable and TypeFoldable for mir typesOli Scherer-312/+25
2022-09-15Derive TypeFoldable and TypeVisitable for mir::PlaceElementOli Scherer-32/+1
2022-09-15derive various Lift impl instead of hand rolling themOli Scherer-30/+2
2022-09-14Auto merge of #101212 - eholk:dyn-star, r=compiler-errorsbors-0/+3
2022-09-14address review againb-naber-14/+5
2022-09-13Better errors for implied static boundJack Huey-2/+2
2022-09-13Only keep one version of ImplicitSelfKind.Camille GILLOT-17/+1
2022-09-13address reviewb-naber-11/+3
2022-09-13remove visit_const from mir visitorsb-naber-17/+13
2022-09-13fixes/working versionb-naber-1/+5
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-21/+80
2022-09-12dyn* through more typechecking and MIREric Holk-0/+3
2022-09-12Rollup merge of #100767 - kadiwa4:escape_ascii, r=jackh726Dylan DPC-9/+1
2022-09-08Rollup merge of #101545 - TaKO8Ki:remove-unnecessary-partialord-ord, r=oli-obkDylan DPC-2/+2
2022-09-08remove unnecessary `PartialOrd` and `Ord`Takayuki Maeda-2/+2
2022-09-07Use niche-filling optimization even when multiple variants have data.Michael Benfield-1/+2
2022-09-07Auto merge of #101522 - oli-obk:miriup, r=oli-obkbors-1/+3
2022-09-07Update miri submoduleOli Scherer-1/+3
2022-09-07Auto merge of #98332 - oli-obk:assume, r=wesleywiserbors-19/+50
2022-09-06Update docsOli Scherer-2/+2
2022-09-06Generalize the Assume intrinsic statement to a general Intrinsic statementOli Scherer-32/+50
2022-09-06Lower the assume intrinsic to a MIR statementOli Scherer-0/+13
2022-09-06Add more size assertions for MIR types.Nicholas Nethercote-8/+14
2022-09-01tracing::instrument cleanupOli Scherer-14/+8
2022-08-31Fix a bunch of typoDezhi Wu-4/+4
2022-08-30Auto merge of #99102 - JakobDegen:reorder-generators, r=oli-obkbors-55/+102
2022-08-30Refactor MIR phasesJakob Degen-55/+102
2022-08-30Rollup merge of #101101 - RalfJung:read-pointer-as-bytes, r=oli-obkDylan DPC-191/+180
2022-08-29Rollup merge of #99027 - tmiasko:basic-blocks, r=oli-obkMatthias Krüger-19/+14
2022-08-28improve OFFSET_IS_ADDR docsRalf Jung-2/+6
2022-08-27interpret: make read-pointer-as-bytes *always* work in MiriRalf Jung-96/+84
2022-08-27interpret: rename relocation → provenanceRalf Jung-114/+111
2022-08-26remove now-unused ScalarMaybeUninitRalf Jung-134/+1
2022-08-26make read_immediate error immediately on uninit, so ImmTy can carry initializ...Ralf Jung-17/+8
2022-08-26remove some now-unnecessary parameters from check_bytesRalf Jung-19/+4
2022-08-26Replace `Body::basic_blocks()` with field accessTomasz Miąsko-19/+14
2022-08-25Inline trivial `From<Local> for Place<'_>` implTomasz Miąsko-0/+1
2022-08-23Remove support for adding statement to all successorsTomasz Miąsko-17/+0
2022-08-23Elide storage markers when elaborating deref projectionsTomasz Miąsko-3/+6
2022-08-19use <[u8]>::escape_ascii instead of core::ascii::escape_defaultKaDiWa-9/+1
2022-08-19Rollup merge of #100081 - RalfJung:unused-unsafe-in-unsafe-fn, r=jackh726Dylan DPC-20/+2
2022-08-18Rollup merge of #99966 - RalfJung:try-dont-panic, r=lcnrMatthias Krüger-1/+3
2022-08-09Add option to `mir::MutVisitor` to not invalidate CFG.Jakob Degen-63/+92
2022-08-04Rollup merge of #100095 - jackh726:early-binder, r=lcnrMatthias Krüger-0/+6