dhall-1.24.0: dhall-lang/tests/normalization/success/simple/letAvoidCaptureA.dhall

\(x: Natural)
-> let var = x
   in \(x: Bool) -> var