path: root/tvix/eval/src/tests/tvix_tests/eval-fail-function-formals-typecheck.nix

# A function with formal set arguments forces its argument set and verifies its type.
({ ... }@args: 42) [ ]