diff --git a/tests/scoping.rs b/tests/scoping.rs
index 796ee58..ddcdb42 100644
--- a/tests/scoping.rs
+++ b/tests/scoping.rs
@@ -5,63 +5,9 @@ fn test_if_branch_redefinition_works() {
     let env = Environment::new();
     let source = "(if true (do (def x 10) x) (do (def x 20) x))";
     let result = env.compile(source).into_result();
-    assert!(result.is_ok(), "Defining the same variable in different 'if' branches should work now: {:?}", result.err());
-}
-
-#[test]
-fn test_forward_reference_in_if_is_local() {
-    let env = Environment::new();
-    let source = r#"
-    (do
-      (def get-x (fn [] my-future-x))
-      (if true (def my-future-x 100) (def my-future-x 0))
-      (get-x))
-    "#;
-    let result = env.compile(source).into_result();
-    assert!(result.is_err(), "my-future-x should be local to 'if' and not discoverable globally");
-}
-
-#[test]
-fn test_macro_expansion_global_discovery() {
-    let env = Environment::new();
-    // Goal: A macro generating a 'def' should allow forward references to that variable.
-    let source = r#"
-    (do
-      (macro def-x [] `(def my-macro-x 42))
-      (def get-x (fn [] my-macro-x))
-      (def-x)
-      (get-x))
-    "#;
-    let result = env.run_script(source);
-    // This currently fails with "Undefined variable 'my-macro-x'"
-    assert!(result.is_ok(), "Forward reference to macro-generated global should work: {:?}", result.err());
-}
-
-#[test]
-fn test_destructuring_global_discovery() {
-    let env = Environment::new();
-    // Goal: Destructuring 'def' should also be hoisted by discover_globals.
-    let source = r#"
-    (do
-      (def get-a (fn [] a))
-      (def [a b] [1 2])
-      (get-a))
-    "#;
-    let result = env.run_script(source);
-    // This currently fails with "Undefined variable 'a'"
-    assert!(result.is_ok(), "Forward reference to destructured global should work: {:?}", result.err());
-}
-
-#[test]
-fn test_macro_if_branch_scope_leak_fails() {
-    let env = Environment::new();
-    // A macro defined inside an IF branch should NOT leak to the outer scope.
-    let source = r#"
-    (do
-      (if true (macro my-if-macro [x] `(+ ~x 1)) ...)
-      (my-if-macro 10))
-    "#;
-    let result = env.compile(source).into_result();
-    // This currently PASSES (Ok), which is the BUG. We want it to FAIL (Err).
-    assert!(result.is_err(), "Macros should not leak from 'if' branches, but currently they do: {:?}", result.ok());
+    assert!(
+        result.is_ok(),
+        "Defining the same variable in different 'if' branches should work: {:?}",
+        result.err()
+    );
 }