use concat

diff --git a/src/global.rs b/src/global.rs
index 45d9dfeb3a60f3de2272e942c58a4a048f8ab61e..445b76f5cbb672a1a63e78ae694d193121a4d565 100644 (file)
--- 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 },
   }
 }