Test generate substitution for lists

CQCL · Jan 3, 2025 · 49b217b · 49b217b
1 parent a8038a3
commit 49b217b
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/hugr-core/src/types.rs b/hugr-core/src/types.rs
@@ -1156,9 +1156,9 @@ pub(crate) mod test {
             }
 
             #[test]
-            fn test_type_covers_list(_ in MakeType(TypeBound::Any)
-                    .with_env(vec![], 3.into(), Arc::new(std_reg()))
-                    .prop_filter("check there are lists", |(_t, env)| {
+            fn test_covers_list(_ in with_substitution(
+                    MakeType(TypeBound::Any), 3.into(), 3.into(), Arc::new(std_reg()))
+                    .prop_filter("check there are lists", |((_t, env), _s, _env2)| {
                 fn is_list(tp: &TypeParam) -> bool {
                     matches!(tp, TypeParam::List { .. })
                 }