Skip to content

Commit 113c7da

Browse files
committed
De-abstract tagged pointer abstraction
1 parent eb54a50 commit 113c7da

File tree

10 files changed

+291
-985
lines changed

10 files changed

+291
-985
lines changed

compiler/rustc_data_structures/src/marker.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -72,7 +72,7 @@ impl_dyn_send!(
7272
[Vec<T, A> where T: DynSend, A: std::alloc::Allocator + DynSend]
7373
[Box<T, A> where T: ?Sized + DynSend, A: std::alloc::Allocator + DynSend]
7474
[crate::sync::RwLock<T> where T: DynSend]
75-
[crate::tagged_ptr::CopyTaggedPtr<P, T, CP> where P: Send + crate::tagged_ptr::Pointer, T: Send + crate::tagged_ptr::Tag, const CP: bool]
75+
[crate::tagged_ptr::TaggedRef<'a, P, T> where 'a, P: Sync, T: Send + crate::tagged_ptr::Tag]
7676
[rustc_arena::TypedArena<T> where T: DynSend]
7777
[indexmap::IndexSet<V, S> where V: DynSend, S: DynSend]
7878
[indexmap::IndexMap<K, V, S> where K: DynSend, V: DynSend, S: DynSend]
@@ -148,7 +148,7 @@ impl_dyn_sync!(
148148
[crate::sync::RwLock<T> where T: DynSend + DynSync]
149149
[crate::sync::WorkerLocal<T> where T: DynSend]
150150
[crate::intern::Interned<'a, T> where 'a, T: DynSync]
151-
[crate::tagged_ptr::CopyTaggedPtr<P, T, CP> where P: Sync + crate::tagged_ptr::Pointer, T: Sync + crate::tagged_ptr::Tag, const CP: bool]
151+
[crate::tagged_ptr::TaggedRef<'a, P, T> where 'a, P: Sync, T: Sync + crate::tagged_ptr::Tag]
152152
[parking_lot::lock_api::Mutex<R, T> where R: DynSync, T: ?Sized + DynSend]
153153
[parking_lot::lock_api::RwLock<R, T> where R: DynSync, T: ?Sized + DynSend + DynSync]
154154
[indexmap::IndexSet<V, S> where V: DynSync, S: DynSync]

0 commit comments

Comments
 (0)