-- 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: /main.mcl @ 6:6-6:18
func `printf` infer error: must have at least one arg: /main.mcl @ 6:6-6:18

test fmt.printf() {}
     ^^^^^^^^^^^^
