>>295
一般に、「あるインスタンスが存在しない」ことに頼った型推論はしないことになってる
一般論としてはクラスのインスタンスはどこでも宣言できるから、今見える範囲に
インスタンスがないからといって、プログラムのどこにもないとは言い切れない

そのコードの場合はMainしかないプログラムなので全貌が見えてるけど、
そこは特別扱いしないで、あくまでCookのインスタンスが他にある可能性を想定する