From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 2 Aug 2020 22:53:40 +0000 (+0100)
Subject: use concat
X-Git-Tag: otter-0.2.0~1194
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=a3ed205b6fa593252d2db9de4c28464a6fef888b;p=otter.git

use concat
---

diff --git a/src/global.rs b/src/global.rs
index 45d9dfeb..445b76f5 100644
--- a/src/global.rs
+++ b/src/global.rs
@@ -562,8 +562,7 @@ fn savefilename_parse(leaf: &[u8]) -> SavefilenameParseResult {
   if rhs.rfind('.').is_some() { return TempToDelete }
   let scoped_name = percent_decode_str(rhs).decode_utf8()?.into();
   GameFile {
-    access_leaf : [ b"a-", after_ftype_prefix ]
-      .iter().flat_map(|s| s.iter()).map(|c| *c).collect(),
+    access_leaf : [ b"a-", after_ftype_prefix ].concat(),
     name : InstanceName { scope, scoped_name },
   }
 }