We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d0cb62a commit 3dd522bCopy full SHA for 3dd522b
src/rt/rust_chan.cpp
@@ -51,7 +51,9 @@ bool rust_chan::is_associated() {
51
* Unlink this channel from its associated port.
52
*/
53
void rust_chan::disassociate() {
54
- // Precondition: port->referent()->lock must be held
+ A(kernel,
55
+ port->referent()->lock.lock_held_by_current_thread(),
56
+ "Port referent lock must be held to call rust_chan::disassociate");
57
A(kernel, is_associated(),
58
"Channel must be associated with a port.");
59
if (port->is_proxy() == false) {
0 commit comments