diff --git a/_test_borrow2/bux.toml b/_test_borrow2/bux.toml
deleted file mode 100644
index 0bbf836..0000000
--- a/_test_borrow2/bux.toml
+++ /dev/null
@@ -1 +0,0 @@
-[Package]
diff --git a/_test_borrow2/src/Main.bux b/_test_borrow2/src/Main.bux
deleted file mode 100644
index 36d1e14..0000000
--- a/_test_borrow2/src/Main.bux
+++ /dev/null
@@ -1,38 +0,0 @@
-import Std::Io::{PrintLine};
-
-@[Checked]
-func Take(x: own String) {
-    PrintLine(x);
-}
-
-@[Checked]
-func UseAfterMoveReinit() {
-    var s: own String = "hello";
-    Take(s);
-    /* s is moved here */
-    /* PrintLine(s); */ /* would error */
-    s = "reinitialized";
-    /* s is valid again after reinitialization */
-    PrintLine(s);
-}
-
-@[Checked]
-func MoveInAssign() {
-    var a: own String = "A";
-    var b: own String = a;  /* a is moved to b */
-    PrintLine(b);
-    /* PrintLine(a); */ /* would error */
-}
-
-@[Checked]
-func MoveInReturn() -> own String {
-    var x: own String = "returned";
-    return x;  /* x is moved */
-}
-
-func Main() -> int {
-    UseAfterMoveReinit();
-    MoveInAssign();
-    PrintLine(MoveInReturn());
-    return 0;
-}