OwnerTerminated graceful handling

[Eitan Frachtenberg]

N00b question: Based on the TPDL, explicitly receive()ing OwnerTerminated prevents an exception from throwing when the owner thread terminates. Yet this is exactly what happens in the following code:

import std.concurrency;

void thr() {
    receive(
      (OwnerTerminated) { return; }
   );
}

void main() {
  spawn(&thr);
}

Try to wrap the receive with a try/catch pair only causes a segfault, but that's not the point anyway. What am I missing something here?

Thanks,
--Eitan.