another test

CQCL · Jun 13, 2024 · 8cfbbd7 · 8cfbbd7
1 parent 67651a2
commit 8cfbbd7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/hugr-core/src/hugr.rs b/hugr-core/src/hugr.rs
@@ -403,6 +403,8 @@ mod test {
     #[case([XB], [XA, TO_BE_INFERRED], false, [XA])]
     #[case([XA, XB], [XB, TO_BE_INFERRED], true, [XA, XB])]
     #[case([XA, XB], [TO_BE_INFERRED], true, [XA])]
+    #[case([TO_BE_INFERRED], [TO_BE_INFERRED, XB], true, [XA, XB])]
+    // TODO: Consider adding a separate expected-grandparent so we can have something different?
     fn infer_three_generations(
         #[case] grandparent: impl IntoIterator<Item = ExtensionId>,
         #[case] parent: impl IntoIterator<Item = ExtensionId>,