support unknown trait bounds in type parameters

2025-02-13 18:35:30 -08:00 · 2025-02-13 18:35:30 -08:00 · cdd84953d0
commit cdd84953d0
parent 86a1bb46be
2 changed files with 119 additions and 17 deletions
--- a/crates/fayalite/tests/module.rs
+++ b/crates/fayalite/tests/module.rs
@ -191,10 +191,14 @@ circuit check_array_repeat:
    };
 }

+pub trait UnknownTrait {}
+
+impl<T: ?Sized> UnknownTrait for T {}
+
 #[hdl_module(outline_generated)]
 pub fn check_skipped_generics<T, #[hdl(skip)] U, const N: usize, #[hdl(skip)] const M: usize>(v: U)
 where
-    T: StaticType,
+    T: StaticType + UnknownTrait,
    ConstUsize<N>: KnownSize,
    U: std::fmt::Display,
 {