1 files changed, 0 insertions, 27 deletions
diff --git a/Chalice/tests/general-tests/ImplicitLocals.chalice b/Chalice/tests/general-tests/ImplicitLocals.chalice
deleted file mode 100644
index 15ebe8e0..00000000
--- a/Chalice/tests/general-tests/ImplicitLocals.chalice
+++ /dev/null
@@ -1,27 +0,0 @@
-class C {
-  var k: int;
-
-  method MyMethod() returns (x: int, y: C)
-    requires acc(k)
-    ensures acc(y.k) && x < y.k
-  {
-    x := k - 15;
-    y := this;
-  }
-
-  method B() {
-    var c := new C;
-    call a, b := c.MyMethod();
-    assert a < b.k;
-  }
-
-  method D() {
-    var ch := new Ch;
-    var c := new C;
-    send ch(c.k - 15, c);  // give ourselves some credit
-    receive a, b := ch;
-    assert a < b.k;
-  }
-}
-
-channel Ch(x: int, y: C) where acc(y.k) && x < y.k;