about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/consts
AgeCommit message (Expand)AuthorLines
2023-04-01use and_then/flat_map for map().flatten()Matthias Krüger-1/+1
2023-03-15unequal → not equalgimbles-7/+7
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-5/+5
2023-02-01Don't call with_reveal_all_normalized in evaluate when param-env has inferenc...Michael Goulet-6/+4
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-1/+1
2022-12-10compiler: remove unnecessary imports and qualified pathsKaDiWa-3/+0
2022-11-28Make `tcx.mk_const` more permissive wrt `kind` argumentMaybe Waffle-0/+8
2022-11-27Auto merge of #103917 - oli-obk:layout_math, r=RalfJung,lcnrbors-0/+12
2022-11-25Add empty ConstKind::Abstractkadmin-1/+18
2022-11-25Add helper method to `ScalarInt`Oli Scherer-0/+12
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-04Make `const_eval_select` a real intrinsicDeadbeef-1/+4
2022-09-01Porting 'compiler/rustc_trait_selection' to translatable diagnostics - Part 1Gabriel Bustamante-0/+6
2022-07-26Allow try_to_raw_bytes on u8 arrayMichael Goulet-20/+14
2022-07-20clippy::perf fixesMatthias Krüger-6/+4
2022-07-09don't allow ZST in ScalarIntRalf Jung-26/+20
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-07-02add AllocRange Debug impl; remove redundant AllocId Display implRalf Jung-0/+4
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-13/+129
2022-06-08Use delayed error handling for `Encodable` and `Encoder` infallible.Nicholas Nethercote-3/+3
2022-04-21implement valtree -> constvalue conversionb-naber-0/+3
2022-04-21add helper methods on ValTreeb-naber-0/+16
2022-04-21add some helper methods to ScalarIntb-naber-0/+92
2022-04-16Rollup merge of #95426 - b-naber:valtrees-slice, r=RalfJung,oli-obkDylan DPC-1/+1
2022-04-08create leafs for slicesb-naber-28/+0
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-29Add type for slices in ValTreesb-naber-1/+29
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-2/+2
2022-02-20Rollup merge of #94091 - GuillaumeGomez:rustdoc-const-computed-value, r=oli-obkMatthias Krüger-0/+7
2022-02-19Don't render Const computed values in hexadecimal for DisplayGuillaume Gomez-0/+7
2022-02-17Fix ScalarInt to char conversionTomasz Miąsko-4/+14
2022-01-22Make `Decodable` and `Decoder` infallible.Nicholas Nethercote-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-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-2/+2