about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2022-10-01Change feature name to is_some_andCameron Steffen-1/+1
2022-10-01Refactor rustc lint APIMaybe Waffle-3/+3
2022-09-29Mark ignore(illustrative) on docs in compiler/rustc_const_eval/src/interpret/...reez12g-3/+3
2022-09-26remove cfg(bootstrap)Pietro Albini-4/+1
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-23Auto merge of #102056 - b-naber:unevaluated, r=lcnrbors-13/+8
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-2/+3
2022-09-22Rollup merge of #102113 - RalfJung:opty-assert-mem, r=oli-obkMatthias Krüger-1/+1
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-21OpTy: fix a method taking self rather than &selfRalf Jung-1/+1
2022-09-21UPDATE - rename DiagnosticHandler macro to DiagnosticJhonny Bill Mena-22/+22
2022-09-21UPDATE - rename DiagnosticHandler trait to IntoDiagnosticJhonny Bill Mena-22/+22
2022-09-20Rollup merge of #102021 - lcnr:tyConst-fun, r=b-naber,BoxyUwUMichael Howell-48/+39
2022-09-20Auto merge of #99806 - oli-obk:unconstrained_opaque_type, r=estebankbors-1/+13
2022-09-19Rollup merge of #101985 - RalfJung:generate_stacktrace, r=oli-obkMatthias Krüger-2/+9
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