？？これは required だからそうじゃないの？ required がついてないときに引数の型を狭めるのが許可されないのはなぜ？という話では？ (edited)