diff options
| author | bors <bors@rust-lang.org> | 2024-12-24 00:51:51 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-12-24 00:51:51 +0000 |
| commit | f3343420c813a3dad6746e274137ba51bf97f063 (patch) | |
| tree | acd07ddc77abe529bb44f588d71f7bb43b4655c1 /compiler/rustc_mir_dataflow/src/move_paths | |
| parent | 65fe42a5f46a17ac63b21684b7ec8327f1a4c86b (diff) | |
| parent | 9a1c5eb5b385adb3cd04af0049cbf5c225cefdc3 (diff) | |
Auto merge of #134625 - compiler-errors:unsafe-binders-ty, r=oli-obk
Begin to implement type system layer of unsafe binders Mostly TODOs, but there's a lot of match arms that are basically just noops so I wanted to split these out before I put up the MIR lowering/projection part of this logic. r? oli-obk Tracking: - https://github.com/rust-lang/rust/issues/130516
Diffstat (limited to 'compiler/rustc_mir_dataflow/src/move_paths')
| -rw-r--r-- | compiler/rustc_mir_dataflow/src/move_paths/builder.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_mir_dataflow/src/move_paths/builder.rs b/compiler/rustc_mir_dataflow/src/move_paths/builder.rs index 4b866f3451e..80875f32e4f 100644 --- a/compiler/rustc_mir_dataflow/src/move_paths/builder.rs +++ b/compiler/rustc_mir_dataflow/src/move_paths/builder.rs @@ -161,6 +161,7 @@ impl<'a, 'tcx, F: Fn(Ty<'tcx>) -> bool> MoveDataBuilder<'a, 'tcx, F> { | ty::CoroutineWitness(..) | ty::Never | ty::Tuple(_) + | ty::UnsafeBinder(_) | ty::Alias(_, _) | ty::Param(_) | ty::Bound(_, _) @@ -200,6 +201,7 @@ impl<'a, 'tcx, F: Fn(Ty<'tcx>) -> bool> MoveDataBuilder<'a, 'tcx, F> { | ty::Dynamic(_, _, _) | ty::CoroutineWitness(..) | ty::Never + | ty::UnsafeBinder(_) | ty::Alias(_, _) | ty::Param(_) | ty::Bound(_, _) |