余剰プロパティに対する型エラー