From 58bc41620214f3ee8c3f344fb73195e28bbc3aee Mon Sep 17 00:00:00 2001
From: Philip Tricca <flihp@twobit.org>
Date: Wed, 24 Jul 2024 10:25:49 -0700
Subject: [PATCH] placate new clippy lint

---
 dice-mfg-msgs/src/lib.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dice-mfg-msgs/src/lib.rs b/dice-mfg-msgs/src/lib.rs
index 4c97de7..256fc4b 100644
--- a/dice-mfg-msgs/src/lib.rs
+++ b/dice-mfg-msgs/src/lib.rs
@@ -206,7 +206,7 @@ fn platform_id_from_0xv2(s: &str) -> Result<PlatformId, PlatformIdError> {
     bytes[PLATFORM_ID_V1_PREFIX.len()..16]
         .copy_from_slice(&s[PLATFORM_ID_V2_PREFIX.len()..16]);
 
-    bytes[16..20].copy_from_slice(&[b':', b'R', b'R', b'R']);
+    bytes[16..20].copy_from_slice(b":RRR");
     // copy ':SN'
     bytes[20..32].copy_from_slice(&s[20..32]);