about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src/validate.rs
AgeCommit message (Expand)AuthorLines
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
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-10 19:25:27 +0000