about summary refs log tree commit diff
path: root/compiler/rustc_const_eval
AgeCommit message (Expand)AuthorLines
2025-01-30Auto merge of #136035 - SpecificProtagonist:miri-zeroed-alloc, r=oli-obkbors-16/+25
2025-01-29Rollup merge of #136166 - RalfJung:interpet-is-alloc-live, r=compiler-errorsLeón Orell Valerian Liehr-2/+4
2025-01-28Auto merge of #136203 - matthiaskrgr:rollup-1k0f44l, r=matthiaskrgrbors-110/+120
2025-01-28Rollup merge of #136055 - fee1-dead-contrib:push-ovmyztlkptmk, r=RalfJungMatthias Krüger-110/+120
2025-01-28miri: optimize zeroed allocSpecificProtagonist-16/+25
2025-01-28Implement MIR const trait stability checksDeadbeef-110/+120
2025-01-28interpret: is_alloc_live: check global allocs lastRalf Jung-2/+4
2025-01-28Represent the raw pointer for a array length check as a new kind of fake borrowMichael Goulet-21/+15
2025-01-27Reapply "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=da...Michael Goulet-7/+31
2025-01-27Add `TooGeneric` variant to `LayoutError` and emit `Unknown` oneFedericoBruzzone-1/+1
2025-01-25Fix typo in const stability error messageDeadbeef-1/+1
2025-01-19Rollup merge of #134858 - estebank:issue-81370, r=NoratriebGuillaume Gomez-5/+34
2025-01-19Auto merge of #135709 - lqd:bring-back-len, r=compiler-errorsbors-34/+20
2025-01-18Revert "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=dav...Rémy Rakic-31/+7
2025-01-18Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper"Rémy Rakic-3/+13
2025-01-18Deduplicate logicEsteban Küber-14/+8
2025-01-18Structured suggestion for "missing `feature` intrinsic"Esteban Küber-2/+19
2025-01-18Structured suggestion for "missing `feature` in unstable fn call"Esteban Küber-3/+21
2025-01-18const-eval: detect more pointers as definitely not-nullRalf Jung-8/+17
2025-01-15Methods of const traits are constOli Scherer-12/+13
2025-01-14Do not consider traits that have unsatisfied const conditions to be condition...Michael Goulet-8/+18
2025-01-13Assert that Instance::try_resolve is only used on body-like thingsMichael Goulet-4/+8
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-3/+3
2025-01-09Unify conditional and non const call error reportingMichael Goulet-229/+262
2025-01-09Make the non-const part swappable in the diagnosticMichael Goulet-41/+63
2025-01-09Add note back to conditionally-const error messageMichael Goulet-2/+10
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-1/+3
2024-12-24Auto merge of #134625 - compiler-errors:unsafe-binders-ty, r=oli-obkbors-3/+12
2024-12-23Note def descr in NonConstFunctionCallMichael Goulet-1/+3
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