cuelang.org/go@v0.13.0/tools/trim/testdata/12.txtar (about)

     1  A variant of 11, with fields slightly rearranged. We do not currently
     2  simplify explicit unification where one side is top.
     3  
     4  -- a.cue --
     5  x: {a: bool, b: string} & {a: true, b: "hi"}
     6  -- out/trim-v3 --
     7  == a.cue
     8  x: _ & {a: true, b: "hi"}
     9  -- diff/-out/trim-v3<==>+out/trim --
    10  diff old new
    11  --- old
    12  +++ new
    13  @@ -1,2 +1,2 @@
    14   == a.cue
    15  -x: {a: bool, b: string} & {a: true, b: "hi"}
    16  +x: _ & {a: true, b: "hi"}
    17  -- out/trim-v3-noshare --
    18  == a.cue
    19  x: _ & {a: true, b: "hi"}
    20  -- diff/-out/trim-v3-noshare<==>+out/trim --
    21  diff old new
    22  --- old
    23  +++ new
    24  @@ -1,2 +1,2 @@
    25   == a.cue
    26  -x: {a: bool, b: string} & {a: true, b: "hi"}
    27  +x: _ & {a: true, b: "hi"}
    28  -- out/trim --
    29  == a.cue
    30  x: {a: bool, b: string} & {a: true, b: "hi"}