dhall-1.42.3: tests/lint/success/issue1586A.dhall

let {- 1 -} x {- 2 -} : {- 3 -} Natural = {- 4 -} 1 {- 5 -} in x