about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2025-01-07Avoid naming variables `str`Josh Triplett-4/+4
2025-01-04rustc_intrinsic: support functions without body; they are implicitly marked a...Ralf Jung-1/+2
2024-12-30Auto merge of #134757 - RalfJung:const_swap, r=scottmcmbors-46/+29
2024-12-27Rollup merge of #134787 - fmease:spruce-up-queries, r=compiler-errors许杰友 Jieyou Xu (Joe)-10/+4
2024-12-27Rollup merge of #134606 - RalfJung:ptr-copy-docs, r=Mark-Simulacrum许杰友 Jieyou Xu (Joe)-0/+2
2024-12-27Spruce up the docs of several queries related to the type/trait system and co...León Orell Valerian Liehr-10/+4
2024-12-25swap_typed_nonoverlapping: properly detect overlap even when swapping scalar ...Ralf Jung-45/+28
2024-12-25rename typed_swap → typed_swap_nonoverlappingRalf Jung-1/+1
2024-12-25miri: add test for overlapping typed_swapRalf Jung-1/+1
2024-12-24Auto merge of #134716 - Zalathar:rollup-1h4q8cc, r=Zalatharbors-0/+2
2024-12-24Auto merge of #134625 - compiler-errors:unsafe-binders-ty, r=oli-obkbors-3/+12
2024-12-23Note def descr in NonConstFunctionCallMichael Goulet-0/+2
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-3/+12
2024-12-22Delete `Rvalue::Len`Scott McMurray-13/+3
2024-12-21ptr::copy: fix docs for the overlapping caseRalf Jung-0/+2
2024-12-20Auto merge of #134550 - jhpratt:rollup-wsfmo59, r=jhprattbors-9/+13
2024-12-20Rollup merge of #133103 - tiif:fnabi, r=RalfJungJacob Pratt-9/+13
2024-12-20Auto merge of #134438 - lqd:const-qualif-bitsets, r=compiler-errorsbors-5/+7
2024-12-19Pass FnAbi to find_mir_or_eval_fntiif-9/+13
2024-12-19Rollup merge of #133702 - RalfJung:single-variant, r=oli-obk许杰友 Jieyou Xu (Joe)-17/+18
2024-12-18Auto merge of #134443 - joshtriplett:use-field-init-shorthand, r=lqd,tgross35...bors-1/+1
2024-12-18make no-variant types a dedicated Variants variantRalf Jung-9/+13
2024-12-18Variants::Single: do not use invalid VariantIdx for uninhabited enumsRalf Jung-15/+12
2024-12-18make const qualif use mixed bitsets instead of dense bitsetsRémy Rakic-5/+7
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-9/+7
2024-12-17Use field init shorthand where possibleJosh Triplett-1/+1
2024-12-16rename rustc_attr to rustc_attr_parsing and create rustc_attr_data_structuresJonathan Dönszelmann-2/+2
2024-12-15Rollup merge of #134285 - oli-obk:push-vwrqsqlwnuxo, r=UrgauStuart Cook-3/+2
2024-12-14Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=davidtwco,R...bors-7/+31
2024-12-14Add some convenience helper methods on `hir::Safety`Oli Scherer-3/+2
2024-12-14Rollup merge of #134191 - willcrichton:dev, r=RalfJung,lqdMatthias Krüger-12/+27
2024-12-13Update compiler/rustc_const_eval/src/interpret/step.rsscottmcm-1/+3
2024-12-13Auto merge of #134269 - matthiaskrgr:rollup-fkshwux, r=matthiaskrgrbors-10/+11
2024-12-13Rollup merge of #134058 - RalfJung:interpret-typing-env, r=lcnrMatthias Krüger-8/+9
2024-12-13Rollup merge of #133938 - nnethercote:rustc_mir_dataflow-renamings, r=oli-obkMatthias Krüger-2/+2
2024-12-13Don't retag the `PtrMetadata(&raw const *_n)` in slice indexingScott McMurray-2/+9
2024-12-12Make BorrowSet/BorrowData fields accessible via public gettersWill Crichton-6/+9
2024-12-12Move impl constness into impl trait headerOli Scherer-9/+12
2024-12-11Make some types and methods related to Polonius + Miri public.Will Crichton-8/+20
2024-12-11Require the `constness` query to only be invoked on things that can have cons...Oli Scherer-4/+5
2024-12-11Make a helper privateOli Scherer-1/+1
2024-12-10Rollup merge of #134010 - RalfJung:promoted-type-error-ice, r=oli-obkLeón Orell Valerian Liehr-18/+21
2024-12-10Rename some `Analysis` and `ResultsVisitor` methods.Nicholas Nethercote-2/+2
2024-12-09fix ICE on type error in promotedRalf Jung-18/+21
2024-12-09interpret: clean up deduplicating allocation functionsRalf Jung-33/+20
2024-12-09interpret: reduce usage of TypingEnv::fully_monomorphizedRalf Jung-8/+9
2024-12-08Rollup merge of #133861 - shamb0:refactor_InterpCx_allocate_str, r=RalfJungMatthias Krüger-13/+32
2024-12-07Mention type parameter in more cases and don't suggest ~const bound already t...Esteban Küber-1/+1
2024-12-07Add allocate_bytes and refactor allocate_str in InterpCx for raw byte allocationshamb0-13/+32
2024-12-06Remove polymorphizationBen Kimock-28/+6