summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/mod.rs
AgeCommit message (Expand)AuthorLines
2022-12-02Use zero based indexing for pass_countOli Scherer-2/+2
2022-12-02Remove an impl and replace its only use with a method callOli Scherer-6/+0
2022-12-01Remove needless `Cow`Oli Scherer-6/+2
2022-12-01Don't go through the formatting infrastructure just to get the name of a phaseOli Scherer-24/+1
2022-11-28Simplify calls to `tcx.mk_const`Maybe Waffle-2/+1
2022-11-22Auto merge of #103578 - petrochenkov:nofict, r=nagisabors-8/+8
2022-11-21Remove an unnecessary query + subst roundOli Scherer-1/+1
2022-11-21Unreserve braced enum variants in value namespaceVadim Petrochenkov-8/+8
2022-11-17Auto merge of #104170 - cjgillot:hir-def-id, r=fee1-deadbors-6/+4
2022-11-16cleanup and dedupe CTFE and Miri error reportingRalf Jung-1/+1
2022-11-15Introduce composite debuginfo.Camille GILLOT-0/+53
2022-11-13Store a LocalDefId in hir::GenericParam.Camille GILLOT-6/+4
2022-11-13fix some typos in commentscui fliter-1/+1
2022-11-11Rollup merge of #103960 - AndyJado:var_path_only_diag, r=davidtwcoManish Goregaokar-0/+1
2022-11-10Use const_error_with_guaranteed moreMichael Goulet-1/+3
2022-11-09var_subdiag refinementAndyJado-0/+1
2022-11-08Add support for custom MIR parsingJakob Degen-0/+59
2022-11-04Refactor tcx mk_const parameters.Mateusz-4/+2
2022-10-31Use `br` instead of `switch` in more cases.Nicholas Nethercote-0/+5
2022-10-27Revert "Make ClosureOutlivesRequirement not rely on an unresolved type"Michael Goulet-1/+1
2022-10-23Split phase change from `MirPass`Jakob Degen-5/+34
2022-10-19Make ClosureOutlivesRequirement not rely on an unresolved typeMichael Goulet-1/+1
2022-10-17mir constants: type traversing bye byelcnr-4/+4
2022-10-14Make dyn* cast into a coercionMichael Goulet-2/+2
2022-10-12Use `tidy-alphabetical` in the compilerNilstrieb-1/+2
2022-10-08Rollup merge of #102675 - ouz-a:mir-technical-debt, r=oli-obkMatthias Krüger-1/+8
2022-10-06Remove `mir::CastKind::Misc`ouz-a-1/+8
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-4/+4
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-11/+14
2022-09-22address reviewb-naber-5/+5
2022-09-22introduce mir::Unevaluatedb-naber-5/+29
2022-09-20Auto merge of #99806 - oli-obk:unconstrained_opaque_type, r=estebankbors-1/+7
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+1
2022-09-17Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnrbors-24/+60
2022-09-16Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r...Oli Scherer-1/+7
2022-09-15nitsb-naber-0/+1
2022-09-15derive TypeVisitable and TypeFoldable for mir typesOli Scherer-0/+1
2022-09-15Derive TypeFoldable and TypeVisitable for mir::PlaceElementOli Scherer-2/+0
2022-09-14Auto merge of #101212 - eholk:dyn-star, r=compiler-errorsbors-0/+1
2022-09-14address review againb-naber-14/+5
2022-09-13Only keep one version of ImplicitSelfKind.Camille GILLOT-17/+1
2022-09-13address reviewb-naber-1/+1
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-13/+57
2022-09-12dyn* through more typechecking and MIREric Holk-0/+1
2022-09-12Rollup merge of #100767 - kadiwa4:escape_ascii, r=jackh726Dylan DPC-9/+1
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-7/+1
2022-09-06Generalize the Assume intrinsic statement to a general Intrinsic statementOli Scherer-8/+1
2022-09-06Lower the assume intrinsic to a MIR statementOli Scherer-0/+1