about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret/queries.rs
AgeCommit message (Expand)AuthorLines
2023-12-15Don't pass lint back out of lint decoratorMichael Goulet-1/+1
2023-11-26rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle...Vadim Petrochenkov-1/+1
2023-09-14don't point at const usage site for resolution-time errorsRalf Jung-6/+12
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-4/+4
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-7/+2
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-10/+10
2023-06-26Make simd_shuffle_indices use valtreesOli Scherer-17/+9
2023-06-14add InlineConst checkJames Dietz-1/+4
2023-05-17Finish move of query.rsJohn Kåre Alsaker-1/+2
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-2/+2
2023-04-20Remove WithOptconstParam.Camille GILLOT-8/+8
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2022-11-16cleanup and dedupe CTFE and Miri error reportingRalf Jung-0/+4
2022-10-22Auto merge of #103227 - lcnr:bye-bye-unevaluated-const, r=oli-obkbors-1/+25
2022-10-21fix some typosRageking8-1/+1
2022-10-18`const_evaluatable_unchecked` to const evallcnr-1/+25
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-2/+2
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-3/+3
2022-09-22introduce mir::Unevaluatedb-naber-3/+7
2022-09-19`DestructuredConst` split mir and tylcnr-1/+1
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-2/+2
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-06-28Improve pretty printing of valtrees for referencesDominik Stolz-7/+1
2022-06-19Use `ensure` for `UnusedBrokenConst`.Camille GILLOT-1/+34
2022-06-14address reviewb-naber-20/+0
2022-06-14address reviewb-naber-1/+1
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-7/+73
2022-06-04use precise spans for recursive const evaluationRalf Jung-3/+16
2022-05-16use GlobalId in eval_to_valtree query and introduce query for valtree_to_cons...b-naber-1/+12
2022-03-22erase region in ParamEnvAnd and make ConstUnifyCtxt privateb-naber-1/+4
2022-03-22fix previous failures and address reviewb-naber-1/+1
2022-03-21stall on on constants that contain infer vars in const_eval_resolveb-naber-0/+8
2022-03-07Introduce `ConstAllocation`.Nicholas Nethercote-2/+2
2022-02-16Support pretty printing of invalid constantsTomasz Miąsko-0/+8
2022-01-15initial revertEllen-1/+1
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-0/+2
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-2/+0
2021-11-29Always use const param envs for const eval.Oli Scherer-0/+2
2021-08-26make unevaluated const substs optionallcnr-1/+1
2021-03-20update `const_eval_resolve`lcnr-6/+4
2021-02-14param_env debugs are instrumental to rustc's successEllen-1/+1
2021-02-13debug!("paramenv={}paramenv={}paramenv={}paramenv={}")Ellen-0/+1
2020-11-16compiler: fold by valueBastian Kauschke-1/+1
2020-09-19Reflect the "do not call this query directly" mentality in its nameOliver Scherer-2/+2
2020-09-19Unify the names of const eval queries and their return typesOliver Scherer-8/+8
2020-09-19Rename const eval queries to reflect the validation changesOliver Scherer-3/+3
2020-08-30mv compiler to compiler/mark-0/+100