fun3 <- function(x, y) vetr(x = logical(1L), y = integer(3L))

Argument `x` produced error during evaluation; see previous error.

Error: boom
Error in fun3(x = stop("boom")) : 
  Argument `x` produced error during evaluation; see previous error.

Argument `y` produced error during evaluation; see previous error.

Error: boomBOOM
Error in fun3(x = TRUE, y = stop("boomBOOM")) : 
  Argument `y` produced error during evaluation; see previous error.

For argument `x`, `1:3` should be type "logical" (is "integer")

Error in fun3(x = 1:3, y = stop("boomBOOM")) : 
  For argument `x`, `1:3` should be type "logical" (is "integer")

fun4 <- function(x, y) vetr(x = stop("BOOM"), y = integer(3L))

Validation expression for argument `x` produced an error (see previous error).

Error: BOOM
Error in vetr(x = stop("BOOM"), y = integer(3L)) : 
  Validation expression for argument `x` produced an error (see previous error).

fun5 <- function(x, y) vetr(x = integer(3L), y = NULL || .(stop("hah")))

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

Error in fun5(x = 1:2, y = NULL) : 
  For argument `x`, `length(1:2)` should be 3 (is 2)

fun6 <- function(x, y) vetr(x = integer(3L), y = NULL && .(stop("hah")))

Validation expression for argument `y` produced an error (see previous error).

Error: hah
Error in vetr(x = integer(3L), y = NULL && .(stop("hah"))) : 
  Validation expression for argument `y` produced an error (see previous error).

fun7 <- function(x, y = z + 2) {
    z <- "boom"
    vetr(x = TRUE, y = 1L)
}

fun7a <- function(x, y = z + 2) {
    z <- 40
    vetr(x = TRUE, y = 1L)
}

Error in z + 2 : non-numeric argument to binary operator
Error in fun7(x = TRUE) : 
  Argument `y` produced error during evaluation; see previous error.

fun8 <- function(x, y = z + 2) {
    a <- b <- TRUE
    vetr(x = TRUE, y = 1L)
}

fun8a <- function(x, y = z + 2) {
    a <- b <- NULL
    vetr(x = TRUE, y = 1L)
}

Error in a && b : invalid 'x' type in 'x && y'
Error in fun8(x = a && b) : 
  Argument `x` produced error during evaluation; see previous error.