about summary refs log tree commit diff
path: root/compiler/rustc_const_eval
AgeCommit message (Expand)AuthorLines
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
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-3/+3
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