dhall-1.31.0: dhall-lang/tests/parser/success/unit/LetAnnotA.dhall

let x: T = y in e