Function vstd::thread::thread_id

source · 
pub exec fn thread_id() -> (ThreadId, Tracked<IsThread>)
Expand description
ensures
res.1@@ == res.0,

Gets the current thread ID using Rust’s Thread::id() under the hood. Also returns a ghost object representing proof of being on this thread.