Let's imagine there is another reference-counted type, call it
Brc<T> itself is neither
Sync, but its
Weak type is always
Send even if
upgrade is called on the
Weak type, a runtime-check is performed to see if the current thread ID is the same of the thread that originally allocated
Brc, and would fail if it isn't.
Would such behavior be safe?