about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src/validate.rs
AgeCommit message (Expand)AuthorLines
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
2024-09-09Reduce visibilities, and add `warn(unreachable_pub)`.Nicholas Nethercote-2/+2
2024-09-07Rollup merge of #129847 - compiler-errors:async-cycle, r=davidtwcoMatthias Krüger-1/+12
2024-09-03Move `MirPass` to `rustc_mir_transform`.Nicholas Nethercote-1/+1
2024-09-01Do not call query to compute coroutine layout for synthetic body of async clo...Michael Goulet-1/+12
2024-08-26Stop using a special inner body for the coroutine by-move body for async clos...Michael Goulet-19/+0
2024-08-18rename AddressOf -> RawBorrow inside the compilerRalf Jung-1/+1
2024-08-07Use more slice patterns inside the compilerLeón Orell Valerian Liehr-7/+7
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+1
2024-07-07Support tail calls in mir via `TerminatorKind::TailCall`Maybe Waffle-33/+44
2024-06-20More GVN for PtrMetadataScott McMurray-2/+7
2024-06-19Ban `ArrayToPointer` and `MutToConstPointer` from runtime MIRScott McMurray-1/+7
2024-06-16Rename InstanceDef -> InstanceKindMichael Goulet-3/+3
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-1/+2
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-3/+3
2024-06-01Add some more specific checks to the MIR validatorScott McMurray-7/+94
2024-06-01Uplift TypeRelation and RelateMichael Goulet-1/+3
2024-05-29Rollup merge of #124251 - scottmcm:unop-ptr-metadata, r=oli-obk许杰友 Jieyou Xu (Joe)-0/+10
2024-05-28Add an intrinsic for `ptr::metadata`Scott McMurray-0/+10
2024-05-28Don't format `tests/run-make/*/rmake.rs`.Nicholas Nethercote-1/+1
2024-05-27MIR validation: ensure that downcast projection is followed by field projectionRalf Jung-3/+23
2024-05-24compiler: const_eval/transform/validate.rs -> mir_transform/validate.rsJubilee Young-0/+1406
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-09 10:01:16 +0000