Check closedness of record contracts
@@ -171,6 +171,13 @@ fn lists_contracts() {
res.unwrap_err().to_diagnostic(&mut files, None);
}
+#[test]
+fn records_contracts_closed() {
+ assert_raise_blame!("{a=1} | #{}");
+ assert_raise_blame!("{a=1, b=2} | #{a | Num}");
+ assert_raise_blame!("let Contract = {a | Num} & {b | Num} in ({a=1, b=2, c=3} | #Contract)");
+}
+
// #[test]
// fn enum_complex() {
// eval(
