code: boolean isDeferred(Env<AttrContext> env, JCExpression expr) {
          DeferredChecker dc = new DeferredChecker(env);
          dc.scan(expr);
          return dc.result.isPoly();
      }
docs: Does the argument expression {@code expr} need speculative type-checking?