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

     1  Explicit unification of structs can lead to simplification.
     2  Contrast with 4.
     3  
     4  -- a.cue --
     5  x: {a: bool, b: "hi"} & {a: true, b: string}
     6  -- out/trim-v3 --
     7  == a.cue
     8  x: {b: "hi"} & {a: true}
     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: "hi"} & {a: true, b: string}
    16  +x: {b: "hi"} & {a: true}
    17  -- out/trim-v3-noshare --
    18  == a.cue
    19  x: {b: "hi"} & {a: true}
    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: "hi"} & {a: true, b: string}
    27  +x: {b: "hi"} & {a: true}
    28  -- out/trim --
    29  == a.cue
    30  x: {a: bool, b: "hi"} & {a: true, b: string}