型宣言を代入文の右辺値からの推論で省略しているパターンの発展形で、右辺値が空の式として推論できるから成立するみたいな・・・