From ef04af3df22813569180445ba1e2c7c5f25c4276 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 31 Oct 2020 12:12:29 +0000
Subject: [PATCH] wip new accounts - demonstrates bad error message

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 src/global.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/global.rs b/src/global.rs
index c585586e..96004ea9 100644
--- a/src/global.rs
+++ b/src/global.rs
@@ -424,7 +424,7 @@ impl Display for InstanceName {
 
 // ---------- Player and token functionality ----------
 
-impl InstanceGuard<'_> {
+impl<'ig> InstanceGuard<'ig> {
   /// caller is responsible for logging; threading it through
   /// proves the caller has a log entry.
   #[throws(MgmtError)]
@@ -579,7 +579,7 @@ impl InstanceGuard<'_> {
   }
 
   #[throws(InternalError)]
-  pub fn invalidate_tokens(&mut self, player: PlayerId) {
+  pub fn invalidate_tokens(&'ig mut self, player: PlayerId) {
     let old_tokens = TokenRegistry {
       tr: self.tokens_players.tr.clone(),
       id: self.tokens_players.id,
-- 
2.30.2