pub exec fn thread_id() -> res : (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.