> 出てほしいですよね。ただ、エラーにしてしまうと既存コードが軒並み通らなくなるから厳しい？警告が限界でしょうか。

Concurrency 的に正しいコードは↓のようになるんでしょうか。