about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/consts/kind.rs
AgeCommit message (Expand)AuthorLines
2023-11-20Uplift InferConst to rustc_type_irMichael Goulet-26/+0
2023-10-24Get rid of 'tcx on ConstVid, EffectVidMichael Goulet-4/+4
2023-09-18Remove unused `Lift` derives.Nicholas Nethercote-1/+1
2023-09-14found another place where we can eval() a const, and go through valtreesRalf Jung-5/+0
2023-09-13restore the old logic adjusting ty::UnevaluatedConst before evaluationRalf Jung-1/+34
2023-09-10Implement fallback for effect paramDeadbeef-1/+8
2023-07-30inline format!() args up to and including rustc_middleMatthias Krüger-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-5/+5
2023-07-06Add a new trait to `Debug` things with an infcx availableBoxy-2/+2
2023-07-05Deal with falloutBoxy-8/+1
2023-07-05move `ConstKind` to typeir and move inherent impls to `Const`Boxy-194/+3
2023-05-16format `Const`'s less verboselyBoxy-2/+2
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-2/+2
2023-04-20Remove WithOptconstParam.Camille GILLOT-7/+4
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-18Auto merge of #107542 - compiler-errors:param-envs-with-inference-vars-are-cu...bors-6/+4
2023-02-15Use target instead of machine for mir interpreter integer handling.Oli Scherer-2/+2
2023-02-01Don't call with_reveal_all_normalized in evaluate when param-env has inferenc...Michael Goulet-6/+4
2022-12-10compiler: remove unnecessary imports and qualified pathsKaDiWa-2/+0
2022-11-28Make `tcx.mk_const` more permissive wrt `kind` argumentMaybe Waffle-0/+8
2022-11-25Add empty ConstKind::Abstractkadmin-1/+18
2022-11-16cleanup and dedupe CTFE and Miri error reportingRalf Jung-2/+2
2022-11-02deprecate DelaySpanBugEmitted and use ErrorGuaranteed directlyyukang-1/+1
2022-10-22Auto merge of #103227 - lcnr:bye-bye-unevaluated-const, r=oli-obkbors-1/+1
2022-10-19Deny const variables as wellMichael Goulet-1/+10
2022-10-19stop folding `UnevaluatedConst`lcnr-1/+1
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-10/+13
2022-09-22introduce mir::Unevaluatedb-naber-21/+9
2022-09-17Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnrbors-4/+7
2022-09-15Replace more manual TypeFoldable and TypeVisitable impls with derivesOli Scherer-1/+1
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-4/+7
2022-09-08don't evaluate with escaping bound varslcnr-0/+1
2022-09-01Porting 'compiler/rustc_trait_selection' to translatable diagnostics - Part 1Gabriel Bustamante-0/+6
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-13/+70
2022-04-02rebase and use ty::Const in patterns againb-naber-5/+1
2022-04-02do use ty::Const in patterns and abstract constsb-naber-1/+6
2022-04-02change thir to use mir::ConstantKind instead of ty::Constb-naber-1/+1
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-2/+2
2022-01-15nyahggdshjjghsdfhgsfEllen-0/+3
2022-01-15attempt to re-add `ty::Unevaluated` visitor and friendsEllen-13/+35
2022-01-15initial revertEllen-59/+14
2021-08-26inline stufflcnr-0/+4
2021-08-26shrink `ty::PredicateKind` againlcnr-5/+24
2021-08-26use `ty::Unevaluated` instead of def substs pairlcnr-1/+1
2021-08-26update `TypeFlags` to deal with missing ct substslcnr-0/+6
2021-08-26make unevaluated const substs optionallcnr-11/+27
2021-07-14CTFE/Miri engine Pointer type overhaul: make Scalar-to-Pointer conversion inf...Ralf Jung-3/+2
2021-03-20update `const_eval_resolve`lcnr-1/+2
2021-03-20extract `ConstKind::Unevaluated` into a structlcnr-4/+12
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 16:23:27 +0000