-- main.mcl --
import "fmt"

# This should not unify, we need at least one arg.
# NOTE: We have historically needed to turn on the recursive solver to find that
# this was a bug!
test fmt.printf() {}

-- OUTPUT --
# err: errUnify: func `printf` infer error: must have at least one arg
