more updating of tests

dada-lang · Feb 6, 2025 · d25ae43 · d25ae43
1 parent 477a3af
commit d25ae43
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/type_system/tests/subtyping/liskov.rs b/src/type_system/tests/subtyping/liskov.rs
@@ -253,7 +253,7 @@ fn liskov_from_pair_leased_with_pair_give() {
                     Sub("leased[d1, d2] Data", "leased[d2] Data", "❌"),
                     Sub("leased[d1, d2] Data", "leased[d1] Data", "❌"),
                     Sub("leased[d1, d2] Data", "leased[d1, d2] Data", "✅"),
-                    Sub("leased[d1, d2] Data", "leased[d1] leased[d2] Data", "✅"), // equivalent to previous
+                    Sub("leased[d1, d2] Data", "leased[d1] leased[d2] Data", "❌"),
                     Sub("leased[d1, d2] Data", "leased[pair.a] Data", "❌"),
                     Sub("leased[d1, d2] Data", "leased[pair.b] Data", "❌"),
                     Sub("leased[d1, d2] Data", "leased[pair] Data", "✅"),

diff --git a/src/type_system/tests/subtyping/liskov/cancellation.rs b/src/type_system/tests/subtyping/liskov/cancellation.rs
@@ -48,7 +48,7 @@ fn c1_remove_relative_leased() {
             fn test[perm P](my self) {
                 let m: my Data = new Data();
                 let p: leased[m] Data = m.lease;
-                let q: leased[p] leased[m] Data = p.lease;
+                let q: leased[p] Data = p.lease;
                 let r: leased[m] Data = q.give;
             }
         }
@@ -286,7 +286,7 @@ fn c2_leased_leased_one_of_one_variables_dead() {
             fn test[perm P](my self) {
                 let m: my Data = new Data();
                 let p: leased[m] Data = m.lease;
-                let q: leased[p] leased[m] Data = p.lease;
+                let q: leased[p] Data = p.lease;
                 let r: leased[m] Data = q.give;
             }
         }