From cdeb687e2ac6380ea42cde84be47142de5f52b36 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 13 Jul 2021 15:29:48 +0100
Subject: [PATCH] errors: Abolish now-unused Fatal::PieceHeld

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 daemon/api.rs | 1 -
 src/error.rs  | 2 --
 2 files changed, 3 deletions(-)

diff --git a/daemon/api.rs b/daemon/api.rs
index cb38a79f..ebf9f03d 100644
--- a/daemon/api.rs
+++ b/daemon/api.rs
@@ -76,7 +76,6 @@ impl From<&FatalErrorResponse> for rocket::http::Status {
       ServerFailure(_) => Status::InternalServerError,
       NoClient | NoPlayer(_) | GameBeingDestroyed(_)
         => Status::NotFound,
-      OE::PieceHeld |
       BadJSON(_)
         => Status::BadRequest,
     }
diff --git a/src/error.rs b/src/error.rs
index cee5b7cf..0ee59332 100644
--- a/src/error.rs
+++ b/src/error.rs
@@ -16,8 +16,6 @@ pub enum Fatal { // Includes _bogus_ client updates, see PROTOCOL.md
   ServerFailure(#[from] InternalError),
   #[error("JSON deserialisation error: {0}")]
   BadJSON(serde_json::Error),
-  #[error("referenced piece is gone (maybe race)")]
-  PieceHeld, // xxx should be _inapplicable_
 }
 
 #[derive(Error,Debug)]
-- 
2.30.2