about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/check_consts/qualifs.rs
AgeCommit message (Expand)AuthorLines
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
2025-01-18Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper"Rémy Rakic-1/+3
2024-12-22Delete `Rvalue::Len`Scott McMurray-3/+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-5/+4
2024-11-22Gate const drop behind const_destruct feature, and fix const_precise_live_dro...Michael Goulet-30/+27
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
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
2024-07-24Do not try to reveal hidden types when trying to prove Freeze in the defining...Oli Scherer-1/+27
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