dhall-1.35.0: dhall-lang/tests/normalization/success/unit/WithDesugarA.dhall
{- This test verifies that an implementation desugars `with` correctly by
leaving `x` abstract
-}
\(x: { a : { b : { c : {} } }}) -> x with a.b.c = 42
{- This test verifies that an implementation desugars `with` correctly by
leaving `x` abstract
-}
\(x: { a : { b : { c : {} } }}) -> x with a.b.c = 42