確認したら型推論関係なくただの文法エラーだった