A variant of 11, with fields slightly rearranged. We do not currently
simplify explicit unification where one side is top.

-- a.cue --
x: {a: bool, b: string} & {a: true, b: "hi"}
-- out/trim-v3 --
== a.cue
x: _ & {a: true, b: "hi"}
-- diff/-out/trim-v3<==>+out/trim --
diff old new
--- old
+++ new
@@ -1,2 +1,2 @@
 == a.cue
-x: {a: bool, b: string} & {a: true, b: "hi"}
+x: _ & {a: true, b: "hi"}
-- out/trim-v3-noshare --
== a.cue
x: _ & {a: true, b: "hi"}
-- diff/-out/trim-v3-noshare<==>+out/trim --
diff old new
--- old
+++ new
@@ -1,2 +1,2 @@
 == a.cue
-x: {a: bool, b: string} & {a: true, b: "hi"}
+x: _ & {a: true, b: "hi"}
-- out/trim --
== a.cue
x: {a: bool, b: string} & {a: true, b: "hi"}
