+@item How does @func{thread_set_priority} affect a thread receiving donations?
+
+It should do something sensible, but no particular behavior is
+required. None of the test cases call @func{thread_set_priority} from a
+thread while it is receiving a priority donation.
+