about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval/valtrees.rs
AgeCommit message (Expand)AuthorLines
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-1/+2
2023-03-25Refactor: `VariantIdx::from_u32(0)` -> `FIRST_VARIANT`Scott McMurray-2/+2
2023-02-15Use target instead of machine for mir interpreter integer handling.Oli Scherer-3/+3
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-2/+2
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-1/+2
2022-12-13Combine identical alias armsMichael Goulet-5/+3
2022-12-13Combine projection and opaque into aliasMichael Goulet-4/+4
2022-10-27Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functionsMaybe Waffle-2/+2
2022-09-09The `<*const T>::guaranteed_*` methods now return an option for the unknown caseOli Scherer-1/+1
2022-09-01tracing::instrument cleanupOli Scherer-12/+6
2022-08-26make read_immediate error immediately on uninit, so ImmTy can carry initializ...Ralf Jung-10/+5
2022-07-15interpret/visitor: support visiting with a PlaceTyRalf Jung-1/+1
2022-07-09tweak names and output and blessRalf Jung-1/+1
2022-07-09review feedbackRalf Jung-1/+1
2022-07-09don't allow ZST in ScalarIntRalf Jung-6/+2
2022-06-29interpret: add From<&MplaceTy> for PlaceTyRalf Jung-5/+5
2022-06-14correctly create Scalar for meta infob-naber-3/+7
2022-06-14address reviewb-naber-7/+21
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-36/+15
2022-05-16use GlobalId in eval_to_valtree query and introduce query for valtree_to_cons...b-naber-61/+82
2022-05-12fix clippy expect_fun_callklensy-1/+3
2022-04-27combine all unsized types and add another recursive call to process nested un...b-naber-88/+77
2022-04-26account for custom DSTs in valtree -> constvalue conversionb-naber-5/+113
2022-04-24include valtree creation and valtree -> constvalue conversion in debug assert...b-naber-30/+22
2022-04-21deduplicate a lot of codeb-naber-224/+115
2022-04-21implement valtree -> constvalue conversionb-naber-0/+479