From 831a37d0947944e22e1c3565a8d92dadf0e10812 Mon Sep 17 00:00:00 2001
From: rvcas <x@rvcas.dev>
Date: Sat, 11 Feb 2023 09:42:39 -0500
Subject: [PATCH] feat: shouldn't use this warning on list

---
 crates/aiken-lang/src/tipo/expr.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/crates/aiken-lang/src/tipo/expr.rs b/crates/aiken-lang/src/tipo/expr.rs
index c73c645d..a6080842 100644
--- a/crates/aiken-lang/src/tipo/expr.rs
+++ b/crates/aiken-lang/src/tipo/expr.rs
@@ -893,6 +893,7 @@ impl<'a, 'b> ExprTyper<'a, 'b> {
                 });
             }
         } else if !value_is_data
+            && !value_typ.is_list()
             && self
                 .environment
                 .check_exhaustiveness(