dhall-1.29.0: tests/lint/success/fixAssertA.dhall

let example0 = 1 ≡ 1

let example1 = let x = 1 in x ≡ 1

in 1