summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/transform/validate.rs
AgeCommit message (Expand)AuthorLines
2022-10-27Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functionsMaybe Waffle-2/+1
2022-10-25Rollup merge of #103122 - ouz-a:mir-technical-debt, r=oli-obkDylan DPC-5/+20
2022-10-23remove misc_cast and validate typesouz-a-5/+20
2022-10-15Surround type with backticksGimgim-1/+1
2022-10-08Rollup merge of #102675 - ouz-a:mir-technical-debt, r=oli-obkMatthias Krüger-8/+8
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-1/+1
2022-10-06Remove `mir::CastKind::Misc`ouz-a-8/+8
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+0
2022-09-13Address code review commentsEric Holk-1/+1
2022-09-12dyn* through more typechecking and MIREric Holk-0/+3
2022-09-08Auto merge of #101437 - compiler-errors:erase-normalize-ordering, r=tmandrybors-14/+15
2022-09-06Generalize the Assume intrinsic statement to a general Intrinsic statementOli Scherer-9/+8
2022-09-06Lower the assume intrinsic to a MIR statementOli Scherer-0/+9
2022-09-05Normalize before erasing late-bound regions in equal_up_to_regionsMichael Goulet-14/+15
2022-09-02Rollup merge of #100121 - Nilstrieb:mir-validator-param-env, r=oli-obkMatthias Krüger-5/+12
2022-08-30Refactor MIR phasesJakob Degen-18/+20
2022-08-29Only normalize once in mir validator typecheckerNilstrieb-15/+10
2022-08-29Try normalizing types without RevealAll in ParamEnv in mir validationNilstrieb-8/+20
2022-08-26Replace `Body::basic_blocks()` with field accessTomasz Miąsko-4/+4
2022-08-21Also validate types before inlining.Camille GILLOT-16/+14
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-1/+1
2022-07-12add new rval, pull deref earlyouz-a-1/+10
2022-07-09Rollup merge of #99050 - JakobDegen:storage-docs, r=tmiaskoMatthias Krüger-1/+7
2022-07-09Rollup merge of #99022 - pierwill:always-storage-live-locals, r=pierwillMatthias Krüger-2/+2
2022-07-08Clarify MIR semantics of storage statementsJakob Degen-1/+7
2022-07-07MIR dataflow: Rename function to `always_storage_live_locals`pierwill-2/+2
2022-07-06fix projectionelem validationDrMeepster-6/+43
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-07-05Auto merge of #96862 - oli-obk:enum_cast_mir, r=RalfJungbors-4/+28
2022-07-01cleanup mir visitor for `rustc::pass_by_value`lcnr-5/+5
2022-06-30Change enum->int casts to not go through MIR casts.Oli Scherer-4/+28
2022-06-15remove box derefs from codgenDrMeepster-50/+64
2022-06-07Remove `AlwaysLiveLocals` wrapper structTomasz Miąsko-2/+2
2022-05-30validate derefer, run derefer inside generatorouz-a-1/+10
2022-05-23Refactor call terminator to always hold a destination placeJakob Degen-5/+3
2022-05-11Remove `PartialOrd`/`Ord` impl for `PlaceRef`Aaron Hill-2/+3
2022-05-06Check that field projections have the correct typeJakob Degen-1/+55
2022-05-06Expand validator to be more precise on checked binary opsJakob Degen-3/+41
2022-04-22Relax restrictions for copy operandsJakob Degen-1/+2
2022-04-13Consider lifetimes when comparing types for equality in MIR validatorJakob Degen-4/+3
2022-04-11Remove rule that place loads may not happen with variant index setJakob Degen-5/+2
2022-04-11Address various comments and change some details around place to value conver...Jakob Degen-1/+1
2022-04-11Adjust MIR validator to check a few more things for terminatorsJakob Degen-5/+19
2022-04-11Extend the MIR validator to check many more things around rvalues.Jakob Degen-39/+161
2022-04-11Adjust computation of place types to detect more invalid placesJakob Degen-1/+9
2022-04-11Add new `Deinit` statement kindJakob Degen-3/+18
2022-03-28Normalize all projections in mir validation againOli Scherer-1/+6
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-4/+1
2022-03-23Clarify which kinds of MIR are allowed during which phases.Jakob Degen-27/+47
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-1/+4