Is it possible that I will ever encounter a type
T such that:
//Either T: Send [T]: !Send //Or T: Sync [T]: !Sync //Or T: Send + Sync [T]: !Send + !Sync
Because I’ve hit a bit of a snag in my library, where if this was possible, this could technically be exploited to get a
[T] even when
T: Send and
[T]: !Send or another of the above, which would be unsafe.