about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src/validate.rs
AgeCommit message (Expand)AuthorLines
2025-09-26ProjectionElem::Subtype -> CastKind::Subtypebeepster4096-16/+8
2025-09-16Remove Rvalue::Len.Camille Gillot-8/+0
2025-07-31remove rustc_attr_data_structuresJana Dönszelmann-1/+1
2025-07-28use let chains in mir, resolve, targetKivooeo-9/+8
2025-07-20Ban projecting into SIMD types [MCP838]Scott McMurray-0/+9
2025-07-19Give a message with a span on validation errorScott McMurray-8/+10
2025-07-01Remove support for dyn*Michael Goulet-3/+0
2025-06-06Allow transmute casts in pre-runtime-MIROli Scherer-29/+19
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-1/+1
2025-05-19Rollup merge of #140874 - mejrs:rads, r=WaffleLapkinStuart Cook-1/+1
2025-05-11Return value of coroutine_layout fn changed to Result with LayoutErrorAndrew Zhogin-2/+2
2025-05-09don't depend on rustc_attr_parsing if rustc_data_structures will domejrs-1/+1
2025-04-28AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}...Andrew Zhogin-3/+8
2025-04-12In `rustc_mir_tranform`, iterate over index newtypes instead of intsYotam Ofek-3/+2
2025-03-27Drive-by get rid of a bunch of unnecessary :?Michael Goulet-25/+23
2025-03-27Do not trim paths in MIR validatorMichael Goulet-1/+8
2025-03-15Stop relying on rustc_type_ir in non-type-system cratesMichael Goulet-2/+1
2025-02-06MIR validation: add comment explaining the limitations of CfgCheckerRalf Jung-0/+6
2025-02-03Contracts core intrinsics.Felix S. Klock II-1/+4
2025-01-31ValidationMichael Goulet-2/+38
2025-01-31Implement MIR, CTFE, and codegen for unsafe bindersMichael Goulet-1/+2
2025-01-27Reapply "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=da...Michael Goulet-8/+0
2025-01-23Disable non-required MIR opts with `optimize(none)`clubby789-0/+4
2025-01-18Revert "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=dav...Rémy Rakic-0/+8
2025-01-18Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper"Rémy Rakic-0/+8
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-2/+2
2025-01-10validator: move force inline checkDavid Wood-23/+10
2025-01-10mir_transform: implement forced inliningDavid Wood-1/+23
2024-12-22Delete `Rvalue::Len`Scott McMurray-8/+0
2024-12-03Bounds-check with PtrMetadata instead of Len in MIRScott McMurray-8/+0
2024-12-02Rollup merge of #133751 - lcnr:no-trait-solving-on-type, r=compiler-errorsGuillaume Gomez-1/+1
2024-12-02remove `Ty::is_copy_modulo_regions`lcnr-1/+1
2024-12-02mir validator: don't store mir phaselcnr-47/+32
2024-11-23remove remaining references to `Reveal`lcnr-1/+1
2024-11-20reduce false positives of tail-expr-drop-order from consumed valuesDing Xiang Fei-0/+2
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-5/+5
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-31/+23
2024-11-03compiler: Directly use rustc_abi in mir_transformJubilee Young-5/+4
2024-10-31stop using `ParamEnv::reveal` while handling MIRlcnr-5/+12
2024-10-31`ConstCx` stop using `ParamEnv::reveal`lcnr-8/+4
2024-10-29TypingMode :thinking:lcnr-2/+2
2024-10-15Don't check unsize goal in MIR validation when opaques remainMichael Goulet-0/+11
2024-09-25Add a debug assertion in codegen that unsize casts of the same principal trai...Michael Goulet-15/+0
2024-09-25Validate unsize coercion in MIR validationMichael Goulet-3/+47
2024-09-24be even more precise about "cast" vs "coercion"Lukas Markeffsky-7/+7
2024-09-24unify dyn* coercions with other pointer coercionsLukas Markeffsky-3/+3
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-09-14Rollup merge of #130199 - compiler-errors:by-move, r=cjgillotStuart Cook-5/+1
2024-09-10Don't call closure_by_move_body_def_id on FnOnce async closures in MIR valida...Michael Goulet-5/+1
2024-09-10Improve comment formatting.Nicholas Nethercote-14/+16