From 2ae904cc8a953d082810700edabb5175c2c234a1 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex@adnab.me>
Date: Thu, 17 Nov 2022 15:10:14 +0100
Subject: [PATCH] Optimize list_of_first

---
 src/dec/mod.rs | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/src/dec/mod.rs b/src/dec/mod.rs
index 2d86e1a..94bdf1c 100644
--- a/src/dec/mod.rs
+++ b/src/dec/mod.rs
@@ -217,11 +217,7 @@ impl<'a, 'b> Term<'a, 'b> {
                     let remaining_offset = remaining_begin - raw.as_ptr() as usize;
                     let remaining_raw = &raw[remaining_offset..];
 
-                    let remaining = list[N - 1..]
-                        .iter()
-                        .map(|x| x.mkref())
-                        .collect::<Vec<NonListTerm<'a, '_>>>();
-                    ret.push(Term(AnyTerm::List(remaining_raw, remaining)));
+                    ret.push(Term(AnyTerm::ListRef(remaining_raw, &list[N - 1..])));
 
                     Ok(ret.try_into().unwrap())
                 }