From 51c44c6a309f817e33833b770b7884869f4de150 Mon Sep 17 00:00:00 2001
From: microproofs <kwhitemsg@gmail.com>
Date: Wed, 30 Aug 2023 13:50:37 -0400
Subject: [PATCH] fix: add an assert for better error messages when doing empty
 types

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

diff --git a/crates/aiken-lang/src/gen_uplc/builder.rs b/crates/aiken-lang/src/gen_uplc/builder.rs
index 541756db..1804503a 100644
--- a/crates/aiken-lang/src/gen_uplc/builder.rs
+++ b/crates/aiken-lang/src/gen_uplc/builder.rs
@@ -343,6 +343,7 @@ pub fn check_replaceable_opaque_type(
     let data_type = lookup_data_type_by_tipo(data_types, t);
 
     if let Some(data_type) = data_type {
+        assert!(!data_type.constructors.is_empty());
         let data_type_args = &data_type.constructors[0].arguments;
         data_type_args.len() == 1 && data_type.opaque && data_type.constructors.len() == 1
     } else {