話逸れますが、= hoge を省略した場合って non-frozen との整合性どうなるんでしょう