Test `@requires` with existing target function