{- The purpose of this test is to verify that the combination of the dotted
   field notation and the duplicate record fields desugar to the desired syntax
   tree
-}
{ x.y = 1, x.z = True }