@requires only checks for captured variables