about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/check_consts/check.rs
AgeCommit message (Expand)AuthorLines
2025-09-16Remove Rvalue::Len.Camille Gillot-2/+1
2025-08-12Revert "Partially outline code inside the panic! macro".Mara Bos-3/+3
2025-07-31remove rustc_attr_data_structuresJana Dönszelmann-8/+7
2025-07-28Rename trait_of_item -> trait_of_assocCameron Steffen-1/+1
2025-07-28use let chains in ast, borrowck, codegen, const_evalKivooeo-4/+4
2025-07-01Remove support for dyn*Michael Goulet-8/+0
2025-06-27Rollup merge of #139858 - oli-obk:new-const-traits-syntax, r=fee1-deadMatthias Krüger-1/+1
2025-06-26clarify and unify 'transient mutable borrow' errorsRalf Jung-5/+1
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-1/+1
2025-06-18Make feature suggestion more consistent.Camille GILLOT-8/+0
2025-06-10const_eval: fix some outdated commentsRalf Jung-4/+1
2025-06-08Dont make ObligationCtxts with diagnostics unnecessarilyMichael Goulet-1/+1
2025-06-03Add `iter` macroOli Scherer-6/+1
2025-05-09don't depend on rustc_attr_parsing if rustc_data_structures will domejrs-7/+10
2025-04-17Remove some unnecessary lifetimes.Nicholas Nethercote-1/+1
2025-04-02Use return_result_from_ensure_ok a bit moreMichael Goulet-1/+1
2025-02-10Rename rustc_middle::Ty::is_unsafe_ptr to is_raw_ptrBastian Kersting-1/+1
2025-02-03Contracts core intrinsics.Felix S. Klock II-1/+5
2025-02-01Rollup merge of #130514 - compiler-errors:unsafe-binders, r=oli-obkMatthias Krüger-0/+4
2025-01-31Implement MIR, CTFE, and codegen for unsafe bindersMichael Goulet-0/+4
2025-01-31Delay a bug when indexing unsized slicesMichael Goulet-1/+6
2025-01-28Auto merge of #136203 - matthiaskrgr:rollup-1k0f44l, r=matthiaskrgrbors-81/+87
2025-01-28Implement MIR const trait stability checksDeadbeef-81/+87
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-1/+9
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-1/+2
2025-01-18Deduplicate logicEsteban Küber-14/+8
2025-01-18Structured suggestion for "missing `feature` intrinsic"Esteban Küber-0/+7
2025-01-18Structured suggestion for "missing `feature` in unstable fn call"Esteban Küber-1/+8
2025-01-14Do not consider traits that have unsatisfied const conditions to be condition...Michael Goulet-8/+18
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-3/+3
2025-01-09Unify conditional and non const call error reportingMichael Goulet-2/+12
2024-12-22Delete `Rvalue::Len`Scott McMurray-2/+1
2024-12-16rename rustc_attr to rustc_attr_parsing and create rustc_attr_data_structuresJonathan Dönszelmann-1/+1
2024-12-03Bounds-check with PtrMetadata instead of Len in MIRScott McMurray-5/+20
2024-11-26Move `always_storage_live_locals`.Nicholas Nethercote-2/+1
2024-11-22Deduplicate checking drop terminatorMichael Goulet-37/+38
2024-11-22Gate const drop behind const_destruct feature, and fix const_precise_live_dro...Michael Goulet-18/+26
2024-11-20reduce false positives of tail-expr-drop-order from consumed valuesDing Xiang Fei-0/+1
2024-11-18Auto merge of #132460 - lcnr:questionable-uwu, r=compiler-errorsbors-7/+4
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-7/+4
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-10/+23
2024-11-12allow rustc_private feature in force-unstable-if-unmarked cratesRalf Jung-2/+19
2024-11-10ensure that all publicly reachable const fn have const stability infoRalf Jung-11/+13
2024-11-09require const_impl_trait gate for all conditional and trait const callsRalf Jung-59/+30
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-5/+8