Question on background processes spawned by function calls

In reply to dave_59:
Can I understand as: The watch_for_zero function contains fork…join_none. However, there is not any initial or always block for assignment “bit y = watch_for_zero( stack );”. Thus make this assignment illegal? Thank you.