about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/check_consts/qualifs.rs
AgeCommit message (Collapse)AuthorLines
2025-09-26ProjectionElem::Subtype -> CastKind::Subtypebeepster4096-1/+0
2025-09-16Remove Rvalue::Len.Camille Gillot-3/+1
2025-07-28Rename trait_of_item -> trait_of_assocCameron Steffen-1/+1
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-6/+6
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-2/+2
2025-02-08Rustfmtbjorn3-6/+8
2025-01-31Implement MIR, CTFE, and codegen for unsafe bindersMichael Goulet-1/+4
2025-01-30introduce `ty::Value`Lukas Markeffsky-1/+1
Co-authored-by: FedericoBruzzone <federico.bruzzone.i@gmail.com>
2025-01-18Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper"Rémy Rakic-1/+3
This reverts commit e108481f74ff123ad98a63bd107a18d13035b275, reversing changes made to 303e8bd768526a5812bb1776e798e829ddb7d3ca.
2024-12-22Delete `Rvalue::Len`Scott McMurray-3/+1
Everything's moved to `PtrMetadata` instead.
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-5/+4
2024-11-22Gate const drop behind const_destruct feature, and fix ↵Michael Goulet-30/+27
const_precise_live_drops post-drop-elaboration check
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-18use `TypingEnv` when no `infcx` is availablelcnr-10/+14
the behavior of the type system not only depends on the current assumptions, but also the currentnphase of the compiler. This is mostly necessary as we need to decide whether and how to reveal opaque types. We track this via the `TypingMode`.
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-1/+1
2024-10-29TypingMode :thinking:lcnr-5/+5
2024-10-20Rip out old effects var handling code from traitsMichael Goulet-49/+4
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-8/+4
2024-08-18rename AddressOf -> RawBorrow inside the compilerRalf Jung-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+1
The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options.
2024-07-24Do not try to reveal hidden types when trying to prove Freeze in the ↵Oli Scherer-1/+27
defining scope
2024-06-05Add `Ty` to `mir::Const::Ty`Boxy-2/+2
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-1/+1
2024-05-24compiler: unnest rustc_const_eval::check_constsJubilee Young-0/+397