From e9122de061444af0a147fb4d52f63264eea07672 Mon Sep 17 00:00:00 2001
From: microproofs <kwhitemsg@gmail.com>
Date: Wed, 6 Mar 2024 14:15:14 -0500
Subject: [PATCH] more identity reduce testing

---
 crates/uplc/src/optimize/shrinker.rs | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/crates/uplc/src/optimize/shrinker.rs b/crates/uplc/src/optimize/shrinker.rs
index ff1912a8..292b2055 100644
--- a/crates/uplc/src/optimize/shrinker.rs
+++ b/crates/uplc/src/optimize/shrinker.rs
@@ -2007,6 +2007,31 @@ mod tests {
         compare_optimization(expected, program, |p| p.identity_reducer());
     }
 
+    #[test]
+    fn identity_reduce_no_inline_2() {
+        let program: Program<Name> = Program {
+            version: (1, 0, 0),
+            term: Term::sha2_256()
+                .apply(Term::var("identity").apply(Term::var("x")))
+                .lambda("x")
+                .apply(Term::byte_string(vec![]).delay())
+                .lambda(NO_INLINE)
+                .lambda("identity")
+                .apply(Term::var("y").lambda("y").lambda(NO_INLINE)),
+        };
+
+        let expected = Program {
+            version: (1, 0, 0),
+            term: Term::sha2_256()
+                .apply(Term::var("x"))
+                .lambda("x")
+                .apply(Term::byte_string(vec![]).delay())
+                .lambda(NO_INLINE),
+        };
+
+        compare_optimization(expected, program, |p| p.identity_reducer());
+    }
+
     #[test]
     fn inline_reduce_delay_sha() {
         let program: Program<Name> = Program {