Drop isOfNestedMethod exception in normal mode

It's hard to generalie this to late use checking. And it does not add anything fundamental.

Author: odersky

compiler/src/dotty/tools/dotc/cc/CheckCaptures.scala

@@ -424,11 +424,13 @@ class CheckCaptures extends Recheck, SymTransformer:
       else
         i"\nof the enclosing ${owner.showLocated}"
 
-    /** Does the given environment belong to a method that is (a) nested in a term
+    /** Under deferredReaches:
+     *  Does the given environment belong to a method that is (a) nested in a term
      *  and (b) not the method of an anonymous function?
      */
     def isOfNestedMethod(env: Env | Null)(using Context) =
-      env != null
+      ccConfig.deferredReaches
+      && env != null
       && env.owner.is(Method)
       && env.owner.owner.isTerm
       && !env.owner.isAnonymousFunction
@@ -537,7 +539,7 @@ class CheckCaptures extends Recheck, SymTransformer:
             isVisible
           checkSubset(included, env.captured, tree.srcPos, provenance(env))
           capt.println(i"Include call or box capture $included from $cs in ${env.owner} --> ${env.captured}")
-          if !isOfNestedMethod(env) then
+          if !isOfNestedMethod(env) || true then
             recur(included, nextEnvToCharge(env, !_.owner.isStaticOwner), env)
           // Don't propagate out of methods inside terms. The use set of these methods
           // will be charged when that method is called.

tests/neg-custom-args/captures/method-uses.scala

@@ -2,9 +2,9 @@ def test(xs: List[() => Unit]) =
   xs.head // error
 
   def foo =
-    xs.head // ok
+    xs.head // error, ok under deferredReaches
   def bar() =
-    xs.head // ok
+    xs.head // error, ok under deferredReaches
 
   class Foo:
     println(xs.head) // error, but could be OK
@@ -14,7 +14,7 @@ def test(xs: List[() => Unit]) =
   Foo() // OK, but could be error
 
 def test2(xs: List[() => Unit]) =
-  def foo = xs.head // ok
+  def foo = xs.head // error, ok under deferredReaches
   ()
 
 def test3(xs: List[() => Unit]): () ->{xs*} Unit = () =>