dhall-1.36.0: dhall-lang/tests/normalization/success/unit/WithCreateIntermediateRecordsA.dhall
{- This test illustrates that if an intermediate record does
not exist, the `with` operator can create one -}
{ a = 5 } with b.c = 10
{- This test illustrates that if an intermediate record does
not exist, the `with` operator can create one -}
{ a = 5 } with b.c = 10