So, while I haven't peeked into the implementation...

# coroutines

[mp]

So, while I haven't peeked into the implementation, it's reasonable to suspect that Job#join() does the right things so that it imposes happens-before.