Add double-negation test

astral-sh · Nov 9, 2024 · 87c67df · 87c67df
1 parent 7efc024
commit 87c67df
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/crates/red_knot_python_semantic/src/types.rs b/crates/red_knot_python_semantic/src/types.rs
@@ -3582,4 +3582,13 @@ mod property_tests {
 
         !t.is_singleton(&db) || t.is_single_valued(&db)
     }
+
+    #[quickcheck]
+    #[ignore]
+    fn double_negation_is_identity(t: Ty) -> bool {
+        let db = setup_db();
+        let t = t.into_type(&db);
+
+        t.negate(&db).negate(&db).is_equivalent_to(&db, t)
+    }
 }