dhall-1.39.0: dhall-lang/tests/normalization/success/regression/ComplexRecordSimplificationB.dhall

λ(foo : { x : Bool, y : Bool }) →
λ(bar : { x : Bool }) →
  (foo.{ x, y } ⫽ bar).{ x }