From 141b95a1966adaf4e1ad00c0903c8fc67a1fcb60 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] Take Option in refcount unique_ptr get, operator* and
 operator-> 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..f604942e3b 100644
--- a/rules/unique_ptr/tgt_refcount.rs
+++ b/rules/unique_ptr/tgt_refcount.rs
@@ -27,7 +27,7 @@ fn f1<T1: CppArray<T2>, T2: Default>(a0: usize) -> Option<Value<Box<[T2]>>> {
     )))
 }
 
-fn f2<T1>(a0: Value<T1>) -> Ptr<T1> {
+fn f2<T1>(a0: Option<Value<T1>>) -> Ptr<T1> {
     a0.as_pointer()
 }
 
@@ -88,11 +88,11 @@ fn f15<T1: ByteRepr>(a0: Ptr<Option<Value<Box<[T1]>>>>, a1: &mut Option<Value<Bo
     a0.write(a1.take())
 }
 
-fn f17<T1>(a0: Value<T1>) -> Ptr<T1> {
+fn f17<T1>(a0: Option<Value<T1>>) -> Ptr<T1> {
     a0.as_pointer()
 }
 
-fn f18<T1>(a0: Value<T1>) -> Ptr<T1> {
+fn f18<T1>(a0: Option<Value<T1>>) -> Ptr<T1> {
     a0.as_pointer()
 }