about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/check_consts
AgeCommit message (Expand)AuthorLines
2025-07-17parse `const trait Trait`Deadbeef-1/+1
2025-07-03Port `#[target_feature]` to the new attribute parsing infrastructureJonathan Brouwer-1/+1
2025-07-01Remove support for dyn*Michael Goulet-8/+0
2025-06-27Rollup merge of #143092 - RalfJung:const-check-lifetime-ext, r=oli-obkMatthias Krüger-11/+2
2025-06-27Rollup merge of #139858 - oli-obk:new-const-traits-syntax, r=fee1-deadMatthias Krüger-8/+8
2025-06-27const checks: avoid 'top-level scope' terminologyRalf Jung-11/+2
2025-06-26clarify and unify 'transient mutable borrow' errorsRalf Jung-21/+8
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-8/+8
2025-06-24Rollup merge of #135731 - frank-king:feature/pin-borrow, r=eholk,traviscrossJubilee-5/+7
2025-06-18Make feature suggestion more consistent.Camille GILLOT-27/+3
2025-06-15Implement pinned borrows, part of `pin_ergonomics`Frank King-5/+7
2025-06-10const_eval: fix some outdated commentsRalf Jung-4/+1
2025-06-08Dont make ObligationCtxts with diagnostics unnecessarilyMichael Goulet-1/+1
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-7/+3
2025-06-03Add `iter` macroOli Scherer-16/+12
2025-05-27Rename unpack to kindMichael Goulet-1/+1
2025-05-09don't depend on rustc_attr_parsing if rustc_data_structures will domejrs-10/+12
2025-05-01Clean up "const" situation in format_args!().Mara Bos-1/+1
2025-04-17Remove some unnecessary lifetimes.Nicholas Nethercote-13/+13
2025-04-02Use return_result_from_ensure_ok a bit moreMichael Goulet-1/+1
2025-03-12Move methods from `Map` to `TyCtxt`, part 4.Nicholas Nethercote-1/+1
2025-02-27require trait impls to have matching const stabilities as the traitsDeadbeef-0/+5
2025-02-24Introduce new-style attribute parsers for several attributesJana Dönszelmann-2/+4
2025-02-18Move methods from `Map` to `TyCtxt`, part 2.Nicholas Nethercote-1/+1
2025-02-10Rename rustc_middle::Ty::is_unsafe_ptr to is_raw_ptrBastian Kersting-1/+1
2025-02-08Rustfmtbjorn3-6/+8
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-2/+10
2025-01-31Implement MIR, CTFE, and codegen for unsafe bindersMichael Goulet-2/+10
2025-01-31Rollup merge of #136325 - compiler-errors:indirectly, r=RalfJungMatthias Krüger-1/+6
2025-01-31Delay a bug when indexing unsized slicesMichael Goulet-1/+6
2025-01-30introduce `ty::Value`Lukas Markeffsky-1/+1
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