Manishearth/triomphe

`UniqueArc` can support weaker bounds for `Send`/`Sync`

steffahn opened this issue · 1 comments

steffahn commented

It’s like a Box, so it can support Send/Sync implementations like a Box.

Currently, it’s

impl<T: ?Sized> Send for UniqueArc<T>
where
    T: Send + Sync,
impl<T: ?Sized> Sync for UniqueArc<T>
where
    T: Send + Sync,

but as far as I can tell, it should be entirely sound to have it instead be

impl<T: ?Sized> Send for UniqueArc<T>
where
    T: Send,
impl<T: ?Sized> Sync for UniqueArc<T>
where
    T: Sync,
Manishearth commented

Good catch, thanks!