From c84142049e2cf347b62dd9cad85ead9ef614cb9e Mon Sep 17 00:00:00 2001
From: Lucian Popescu <lucian.popescu@tecnico.ulisboa.pt>
Date: Thu, 5 Nov 2026 15:14:07 +0000
Subject: [PATCH] Use Box<[T]> in refcount unique_ptr<T[]> rules

---
 rules/unique_ptr/tgt_refcount.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/rules/unique_ptr/tgt_refcount.rs b/rules/unique_ptr/tgt_refcount.rs
index 00691fd026..f12d39850a 100644
--- a/rules/unique_ptr/tgt_refcount.rs
+++ b/rules/unique_ptr/tgt_refcount.rs
@@ -35,7 +35,7 @@ fn f3<T1>(a0: Ptr<T1>) -> Option<Value<T1>> {
     a0.to_owned_opt()
 }
 
-fn f4<T1>(a0: Ptr<T1>) -> Option<Value<T1>> {
+fn f4<T1>(a0: Ptr<T1>) -> Option<Value<Box<[T1]>>> {
     a0.to_owned_opt()
 }
 
@@ -48,7 +48,7 @@ fn f6<T1: ByteRepr>(a0: Ptr<Option<Value<Box<[T1]>>>>, a1: Ptr<T1>) {
     a0.write(a1.to_owned_opt())
 }
 
-fn f7<T1>(a0: Value<T1>) -> Ptr<T1> {
+fn f7<T1>(a0: Option<Value<Box<[T1]>>>) -> Ptr<T1> {
     a0.as_pointer()
 }
 
@@ -96,7 +96,7 @@ fn f18<T1>(a0: Value<T1>) -> Ptr<T1> {
     a0.as_pointer()
 }
 
-fn f19<T1>(a0: Value<T1>, a1: usize) -> Ptr<T1> {
+fn f19<T1>(a0: Option<Value<Box<[T1]>>>, a1: usize) -> Ptr<T1> {
     (a0.as_pointer() as Ptr<T1>).offset(a1 as isize)
 }