dhall-1.42.3: tests/regression/issue151b.dhall

\(A : Type) -> \(omega : ((\(x : A) -> x x) (\(x : A) -> x x))) -> omega 1