I've been trying to figure out a bug I had using paho-mqtt, where I couldn't spawn local tasks in a LocalSet from tokio, so I decided to add some logging of the current thread ID:
This results in printing two different thread numbers (18 and 20 in my specific case), and I'm allowed to use my not_send value from both threads, which is unsound.
I've been trying to figure out a bug I had using paho-mqtt, where I couldn't spawn local tasks in a
LocalSet
from tokio, so I decided to add some logging of the current thread ID:This results in printing two different thread numbers (18 and 20 in my specific case), and I'm allowed to use my
not_send
value from both threads, which is unsound.