add todo test

hasura · Nov 22, 2024 · aacb803 · aacb803
1 parent 791f1e1
commit aacb803
Showing 1 changed file with 39 additions and 0 deletions.
diff --git a/crates/cli/src/native_query/type_solver/simplify.rs b/crates/cli/src/native_query/type_solver/simplify.rs
@@ -697,4 +697,43 @@ mod tests {
         );
         Ok(())
     }
+
+    // TODO:
+    // #[googletest::test]
+    // fn simplifies_two_compatible_unions_in_contravariant_context() -> Result<()> {
+    //     let configuration = mflix_config();
+    //     let result = super::simplify_constraints(
+    //         &configuration,
+    //         &Default::default(),
+    //         &mut Default::default(),
+    //         Some(TypeVariable::new(1, Variance::Contravariant)),
+    //         [
+    //             TypeConstraint::Union(
+    //                 [
+    //                     TypeConstraint::Scalar(BsonScalarType::Double),
+    //                     TypeConstraint::Scalar(BsonScalarType::Null),
+    //                 ]
+    //                 .into(),
+    //             ),
+    //             TypeConstraint::Union(
+    //                 [
+    //                     TypeConstraint::Scalar(BsonScalarType::Int),
+    //                     TypeConstraint::Scalar(BsonScalarType::Null),
+    //                 ]
+    //                 .into(),
+    //             ),
+    //         ],
+    //     );
+    //     expect_that!(
+    //         result,
+    //         ok(eq(&BTreeSet::from([TypeConstraint::Union(
+    //             [
+    //                 TypeConstraint::Scalar(BsonScalarType::Int),
+    //                 TypeConstraint::Scalar(BsonScalarType::Null),
+    //             ]
+    //             .into(),
+    //         )])))
+    //     );
+    //     Ok(())
+    // }
 }