dhall-1.26.0: dhall-lang/tests/alpha-normalization/success/unit/FunctionNestedBindingXXFreeA.dhall
{-
This test has free variables, so it doesn't typecheck
-}
\(x: Bool) -> \(x: Bool) -> [x, x@0, x@1, x@2, x@3]
{-
This test has free variables, so it doesn't typecheck
-}
\(x: Bool) -> \(x: Bool) -> [x, x@0, x@1, x@2, x@3]