fun2 <- function(x, y) vetr(. > 0 && all(y > 0), y < 3)

vet/vetr usage error: found symbol `y` in vetting token for object with the same symbol.  Please use `.` to reference the object being checked by the vetting token (e.g. use `vet(. > 0, x)` instead of `vet(x > 0, x)`)

Error in vetr(. > 0 && all(y > 0), y < 3) : 
  vet/vetr usage error: found symbol `y` in vetting token for object with the same symbol.  Please use `.` to reference the object being checked by the vetting token (e.g. use `vet(. > 0, x)` instead of `vet(x > 0, x)`)

# also check with vet, although not as important

Error in vet(x > 0, x) : 
  vet/vetr usage error: found symbol `x` in vetting token for object with the same symbol.  Please use `.` to reference the object being checked by the vetting token (e.g. use `vet(. > 0, x)` instead of `vet(x > 0, x)`)

# this doesn't cause error, but maybe should?

`x + 1` should be type "logical" (is "double")

[1] "`x + 1` should be type \"logical\" (is \"double\")"

fun10a <- function(x, y = TRUE, z = 999) vetr(INT, LGL.1, INT.1)

For argument `z`, `length(1:3)` should be 1 (is 3)

Error in fun10a(x = 1, z = 1:3) : 
  For argument `z`, `length(1:3)` should be 1 (is 3)

fun10b <- function(x, y = TRUE, z = 999) vetr(INT, z = INT.1)

Error in fun10b(x = 1, z = 1:3) : 
  For argument `z`, `length(1:3)` should be 1 (is 3)

f <- function(x, y = 1L, z = 1L, ...) vetr(1L, 1L, 1L)

f <- function(x, y = 1L, ...) vetr(1L, 1L, 1L)

Warning in vetr(1L, 1L, 1L) : `...` vetting is not supported.

For argument `env`, `environment()$env` should be type "environment" (is "logical")

Error in fenv(env = environment()) : 
  For argument `env`, `environment()$env` should be type "environment" (is "logical")