Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Assert tid>0 in workqueue_for (#50602)
Otherwise the inbounds annotations are not sound. As requested in #50597 (review).
- Loading branch information