From d0694cbd521496fe019ed8a755e77f3361f83289 Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Thu, 10 Oct 2024 22:58:15 -0700
Subject: [PATCH] add disabled test for #[hdl] struct S4<W: KnownSize, W2:
 KnownSize> which type errors

---
 crates/fayalite/tests/hdl_types.rs | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/crates/fayalite/tests/hdl_types.rs b/crates/fayalite/tests/hdl_types.rs
index bed1a82..b8cbff3 100644
--- a/crates/fayalite/tests/hdl_types.rs
+++ b/crates/fayalite/tests/hdl_types.rs
@@ -32,6 +32,13 @@ pub struct S2<T = ()> {
     pub v: E<T>,
 }
 
+#[cfg(todo)]
+#[hdl(outline_generated)]
+pub struct S4<W: KnownSize, W2: KnownSize> {
+    pub v: UIntType<W>,
+    pub v2: SIntType<W2>,
+}
+
 // check that #[hdl] properly handles hygiene
 macro_rules! types_in_macros {
     ($a:ident, $b:ident, $c:ident, $d:ident, $e:ident, $f:ident, $A:ident, $B:ident, $C:ident, $D:ident, $E:ident, $F:ident) => {