about summary refs log tree commit diff
path: root/compiler/rustc_const_eval
AgeCommit message (Expand)AuthorLines
2022-09-19`DestructuredConst` split mir and tylcnr-2/+2
2022-09-19ctfe, `const_to_op` only for mir constantslcnr-46/+37
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-3/+1
2022-09-18interpret: expose generate_stacktrace without full InterpCxRalf Jung-2/+9
2022-09-17Rollup merge of #93628 - est31:stabilize_let_else, r=joshtriplettDylan DPC-1/+1
2022-09-17Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnrbors-31/+49
2022-09-16Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r...Oli Scherer-1/+13
2022-09-16do const trait method bounds check later in rustc_const_evalDeadbeef-2/+42
2022-09-15Only enable the let_else feature on bootstrapest31-1/+1
2022-09-14address review againb-naber-12/+15
2022-09-13Address code review commentsEric Holk-7/+6
2022-09-13rebaseb-naber-1/+1
2022-09-13fixes/working versionb-naber-23/+32
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-13/+19
2022-09-12Rename some variantsMichael Goulet-1/+1
2022-09-12Construct dyn* during const interpMichael Goulet-1/+12
2022-09-12dyn* through more typechecking and MIREric Holk-0/+11
2022-09-12Plumb dyn trait representation through ty::DynamicEric Holk-3/+3
2022-09-10Auto merge of #101483 - oli-obk:guaranteed_opt, r=fee1-deadbors-27/+24
2022-09-09The `<*const T>::guaranteed_*` methods now return an option for the unknown caseOli Scherer-27/+24
2022-09-08Auto merge of #101437 - compiler-errors:erase-normalize-ordering, r=tmandrybors-14/+15
2022-09-08bound variables during ctfe are a buglcnr-3/+3
2022-09-07Use niche-filling optimization even when multiple variants have data.Michael Benfield-7/+9
2022-09-07Change name of "dataful" variant to "untagged"Michael Benfield-5/+5
2022-09-06Move CTFE handling of nondiverging intrinsics to intrinsics.rsOli Scherer-19/+29
2022-09-06Generalize the Assume intrinsic statement to a general Intrinsic statementOli Scherer-22/+21
2022-09-06Lower the assume intrinsic to a MIR statementOli Scherer-6/+19
2022-09-06Rollup merge of #101402 - saethlin:inline-asm-hook, r=oli-obkYuki Okushi-2/+21
2022-09-05Normalize before erasing late-bound regions in equal_up_to_regionsMichael Goulet-14/+15
2022-09-04Make `const_eval_select` a real intrinsicDeadbeef-15/+1
2022-09-03Add a Machine hook for inline assemblyBen Kimock-2/+21
2022-09-03Auto merge of #101154 - RalfJung:validation-perf, r=oli-obkbors-4/+5
2022-09-02Rollup merge of #100121 - Nilstrieb:mir-validator-param-env, r=oli-obkMatthias Krüger-5/+12
2022-09-01tracing::instrument cleanupOli Scherer-17/+8
2022-09-01Directly use the `instrument` macro instead of its full pathOli Scherer-1/+1
2022-09-01Auto merge of #100707 - dzvon:fix-typo, r=davidtwcobors-7/+7
2022-08-31interpret: use new OpTy::len for Len rvalueRalf Jung-2/+2
2022-08-31Fix a bunch of typoDezhi Wu-7/+7
2022-08-30Auto merge of #99102 - JakobDegen:reorder-generators, r=oli-obkbors-20/+23
2022-08-30Refactor MIR phasesJakob Degen-20/+23
2022-08-30Auto merge of #101183 - Dylan-DPC:rollup-6kewixv, r=Dylan-DPCbors-88/+108
2022-08-30Rollup merge of #101101 - RalfJung:read-pointer-as-bytes, r=oli-obkDylan DPC-88/+108
2022-08-30Auto merge of #100812 - Nilstrieb:revert-let-chains-nightly, r=Mark-Simulacrumbors-0/+1
2022-08-29Auto merge of #101167 - matthiaskrgr:rollup-yt3jdmp, r=matthiaskrgrbors-18/+11
2022-08-29Rollup merge of #101131 - RalfJung:ctfe-no-needs-rfc, r=oli-obkMatthias Krüger-18/+11
2022-08-29Revert let_chains stabilizationNilstrieb-0/+1
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-29interpret: fix unnecessary allocation in validation visitorRalf Jung-4/+5
2022-08-29Rollup merge of #100239 - RalfJung:const-prop-uninit, r=oli-obkDylan DPC-25/+9