summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/transform
AgeCommit message (Expand)AuthorLines
2022-10-27Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functionsMaybe Waffle-9/+3
2022-10-25Auto merge of #102340 - JakobDegen:pass-manager-simplification, r=oli-obkbors-4/+0
2022-10-25Rollup merge of #103122 - ouz-a:mir-technical-debt, r=oli-obkDylan DPC-5/+20
2022-10-23Split phase change from `MirPass`Jakob Degen-4/+0
2022-10-23remove misc_cast and validate typesouz-a-5/+20
2022-10-15Surround type with backticksGimgim-1/+1
2022-10-13Delay intrinsic call until after we've determined the callee is a functionMichael Goulet-3/+1
2022-10-08Rollup merge of #102675 - ouz-a:mir-technical-debt, r=oli-obkMatthias Krüger-9/+9
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-41/+39
2022-10-07Introduce TypeErrCtxtCameron Steffen-3/+3
2022-10-06Remove `mir::CastKind::Misc`ouz-a-9/+9
2022-09-25Rollup merge of #102194 - fee1-dead-contrib:improve-const-drop, r=oli-obkfee1-dead-11/+19
2022-09-24Note the type when unable to drop values in compile timeDeadbeef-11/+19
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-2/+3
2022-09-22introduce mir::Unevaluatedb-naber-13/+7
2022-09-22Auto merge of #100982 - fee1-dead-contrib:const-impl-requires-const-trait, r=...bors-2/+42
2022-09-20Auto merge of #99806 - oli-obk:unconstrained_opaque_type, r=estebankbors-1/+3
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+0
2022-09-17Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnrbors-30/+36
2022-09-16Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r...Oli Scherer-1/+3
2022-09-16do const trait method bounds check later in rustc_const_evalDeadbeef-2/+42
2022-09-14address review againb-naber-0/+2
2022-09-13Address code review commentsEric Holk-1/+1
2022-09-13fixes/working versionb-naber-22/+31
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-12/+7
2022-09-12dyn* through more typechecking and MIREric Holk-0/+7
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-11/+9
2022-09-06Lower the assume intrinsic to a MIR statementOli Scherer-0/+10
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-20/+23
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-29Rollup merge of #99027 - tmiasko:basic-blocks, r=oli-obkMatthias Krüger-8/+8
2022-08-26Rollup merge of #100738 - nidnogg:diagnostics_migr_const_eval, r=davidtwcoMichael Goulet-105/+51
2022-08-26Replace `Body::basic_blocks()` with field accessTomasz Miąsko-8/+8
2022-08-25Auto merge of #100571 - cjgillot:mir-cost-visit, r=compiler-errorsbors-16/+14
2022-08-21Fixed failing tests (missing labels), added automatic error code in create_fe...nidnogg-13/+4
2022-08-21Added several more migrations under ops.rs, failing some tests thoughnidnogg-97/+57
2022-08-21Migration on ops.rs for unstable const functionsnidnogg-5/+3
2022-08-21Migrated Unallowed function pointer calls in interpreter/opsnidnogg-5/+2
2022-08-21Also validate types before inlining.Camille GILLOT-16/+14
2022-08-20Rollup merge of #100507 - cameron1024:suggest-lazy, r=compiler-errorsMatthias Krüger-0/+5
2022-08-14suggest lazy-static for non-const staticscameron-0/+5
2022-08-12Erase regions better in promote_candidateMichael Goulet-7/+2
2022-08-04Add `traits::fully_solve_obligation` that acts like `traits::fully_normalize`Michael Goulet-10/+2
2022-08-03Rollup merge of #99746 - compiler-errors:more-trait-engine, r=jackh726Matthias Krüger-2/+2
2022-08-01Remove trait_of_item query.Camille GILLOT-1/+1
2022-07-27Rollup merge of #99651 - compiler-errors:fn-and-raw-ptr-in-const-generics, r=...Guillaume Gomez-1/+1