---

yaml
---
r: 4243
b: refs/heads/master
c: 3dd522b
h: refs/heads/master
i:
  4241: 78ae241
  4239: c6edb76
v: v3

Author: brson

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: d0cb62ac90fb38a87b78691bf1436f6a14a67d71
+refs/heads/master: 3dd522b6b78fe32c44af571098d0ff4d1dcc9398

trunk/src/rt/rust_chan.cpp

@@ -51,7 +51,9 @@ bool rust_chan::is_associated() {
  * Unlink this channel from its associated port.
  */
 void rust_chan::disassociate() {
-    // Precondition: port->referent()->lock must be held
+    A(kernel,
+      port->referent()->lock.lock_held_by_current_thread(),
+      "Port referent lock must be held to call rust_chan::disassociate");
     A(kernel, is_associated(),
       "Channel must be associated with a port.");
     if (port->is_proxy() == false) {