型アサーション

型推論を上書きする機能