From af9beda68d9eff047e837b8f2af11546975dfcaa Mon Sep 17 00:00:00 2001
From: Constance Beguier <constance@qed-it.com>
Date: Fri, 1 Aug 2025 10:15:17 +0200
Subject: [PATCH] Remove native_asset_base prop_compose

---
 src/note/asset_base.rs | 8 --------
 src/value.rs           | 6 ++----
 2 files changed, 2 insertions(+), 12 deletions(-)

diff --git a/src/note/asset_base.rs b/src/note/asset_base.rs
index fd8d09af8..636dd56f8 100644
--- a/src/note/asset_base.rs
+++ b/src/note/asset_base.rs
@@ -171,14 +171,6 @@ pub mod testing {
         }
     }
 
-    prop_compose! {
-        /// Generate the native note type
-        pub fn native_asset_base()(_i in 0..1) -> AssetBase {
-            // TODO: remove _i
-            AssetBase::native()
-        }
-    }
-
     prop_compose! {
         /// Generate an asset ID
         pub fn arb_zsa_asset_base()(
diff --git a/src/value.rs b/src/value.rs
index 31afcdc20..54c377af0 100644
--- a/src/value.rs
+++ b/src/value.rs
@@ -519,9 +519,7 @@ mod tests {
         OverflowError, ValueCommitTrapdoor, ValueCommitment, ValueSum, MAX_NOTE_VALUE,
     };
     use crate::{
-        note::asset_base::testing::{arb_asset_base, native_asset_base},
-        note::AssetBase,
-        primitives::redpallas,
+        note::asset_base::testing::arb_asset_base, note::AssetBase, primitives::redpallas,
     };
 
     fn check_binding_signature(
@@ -583,7 +581,7 @@ mod tests {
         fn bsk_consistent_with_bvk_native_with_zsa_transfer_and_burning(
             native_values in (1usize..10).prop_flat_map(|n_values|
                 arb_note_value_bounded(MAX_NOTE_VALUE / n_values as u64).prop_flat_map(move |bound|
-                    prop::collection::vec((arb_value_sum_bounded(bound), arb_trapdoor(), native_asset_base()), n_values)
+                    prop::collection::vec((arb_value_sum_bounded(bound), arb_trapdoor(), Just(AssetBase::native())), n_values)
                 )
             ),
             (asset_values, neg_trapdoors) in (1usize..10).prop_flat_map(|n_values|