about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/check_consts
AgeCommit message (Expand)AuthorLines
2025-01-28Auto merge of #136203 - matthiaskrgr:rollup-1k0f44l, r=matthiaskrgrbors-107/+108
2025-01-28Implement MIR const trait stability checksDeadbeef-107/+108
2025-01-28Represent the raw pointer for a array length check as a new kind of fake borrowMichael Goulet-8/+10
2025-01-27Reapply "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=da...Michael Goulet-5/+20
2025-01-19Rollup merge of #134858 - estebank:issue-81370, r=NoratriebGuillaume Gomez-3/+25
2025-01-18Revert "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=dav...Rémy Rakic-20/+5
2025-01-18Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper"Rémy Rakic-2/+6
2025-01-18Deduplicate logicEsteban Küber-14/+8
2025-01-18Structured suggestion for "missing `feature` intrinsic"Esteban Küber-0/+10
2025-01-18Structured suggestion for "missing `feature` in unstable fn call"Esteban Küber-3/+21
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-200/+245
2025-01-09Make the non-const part swappable in the diagnosticMichael Goulet-5/+11
2025-01-09Add note back to conditionally-const error messageMichael Goulet-2/+10
2024-12-23Note def descr in NonConstFunctionCallMichael Goulet-0/+1
2024-12-22Delete `Rvalue::Len`Scott McMurray-6/+2
2024-12-20Auto merge of #134438 - lqd:const-qualif-bitsets, r=compiler-errorsbors-5/+7
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-3/+2
2024-12-16rename rustc_attr to rustc_attr_parsing and create rustc_attr_data_structuresJonathan Dönszelmann-2/+2
2024-12-14Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=davidtwco,R...bors-5/+20
2024-12-10Rename some `Analysis` and `ResultsVisitor` methods.Nicholas Nethercote-2/+2
2024-12-07Mention type parameter in more cases and don't suggest ~const bound already t...Esteban Küber-1/+1
2024-12-03Bounds-check with PtrMetadata instead of Len in MIRScott McMurray-5/+20
2024-12-03Auto merge of #133321 - compiler-errors:const-checker, r=wesleywiserbors-6/+5
2024-11-26Move `always_storage_live_locals`.Nicholas Nethercote-2/+1
2024-11-23remove is_trivially_const_dropRalf Jung-5/+0
2024-11-22Check drop is trivial before checking ty needs dropMichael Goulet-1/+6
2024-11-22Deduplicate checking drop terminatorMichael Goulet-91/+52
2024-11-22Gate const drop behind const_destruct feature, and fix const_precise_live_dro...Michael Goulet-82/+119
2024-11-22More comments, reverse polarity of structural checkMichael Goulet-35/+41
2024-11-22Implement ~const Destruct in new solverMichael Goulet-39/+42
2024-11-22Get rid of HIR const checkerMichael Goulet-6/+5
2024-11-20reduce false positives of tail-expr-drop-order from consumed valuesDing Xiang Fei-0/+1
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-4/+1
2024-11-18Auto merge of #132460 - lcnr:questionable-uwu, r=compiler-errorsbors-33/+31
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-33/+31
2024-11-18rename rustc_const_stable_intrinsic -> rustc_intrinsic_const_stable_indirectRalf Jung-1/+1
2024-11-13check_consts: fix error requesting feature gate when that gate is not actuall...Ralf Jung-12/+36
2024-11-12allow rustc_private feature in force-unstable-if-unmarked cratesRalf Jung-3/+20
2024-11-10ensure that all publicly reachable const fn have const stability infoRalf Jung-17/+20
2024-11-10honor rustc_const_stable_indirect in non-staged_api crate with -Zforce-unstab...Ralf Jung-3/+4
2024-11-09give a hint which feature is missingRalf Jung-15/+11
2024-11-09require const_impl_trait gate for all conditional and trait const callsRalf Jung-69/+59
2024-11-04when an intrinsic has a const-stable fallback body, we can easily expose it o...Ralf Jung-4/+12
2024-11-04add new rustc_const_stable_intrinsic attribute for const-stable intrinsicsRalf Jung-7/+10
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-3/+4
2024-11-03Gate checking ~const bounds on const_trait_implMichael Goulet-9/+3