cmd/cue: re-enable cue exp gengotypes testscript

Now that it no longer causes a panic under evalv3,
after the merge of https://cuelang.org/cl/1212030.

All expected errors are still there, just in slightly different order,
like `fail.cue."18_IntListClosed2".types.IntListClosed2`
being moved down a bit.

The only other change is some error positions being lost.
Marcel is already aware of evalv3 not being as good as evalv2
at tracking positions in errors, and for this particular test
we don't care about positions, so it's fine in this case.

Signed-off-by: Daniel Martí <[email protected]>
Change-Id: I99937cabfae8bac6934f9c3eae9efda766d1a68a
Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1212210
TryBot-Result: CUEcueckoo <[email protected]>
Unity-Result: CUE porcuepine <[email protected]>
Reviewed-by: Matthew Sackman <[email protected]>

Author: mvdan

cmd/cue/cmd/testdata/script/exp_gengotypes.txtar

@@ -1,5 +1,3 @@
-skip 'TODO(evalv3): make this test work, and not panic, on evalv3'
-
 exec cue exp gengotypes ./root
 ! stderr .
 
@@ -167,90 +165,48 @@ _typeTests: [...#typeTest] & [
 -- cuetest/fail_check.stderr --
 fail.both."16_IntList".types.IntList.0: conflicting values "foo" and int (mismatched types string and int):
     ./cuetest/all.cue:67:40
-    ./cuetest/fail_check.cue:7:12
-    ./cuetest/fail_check.cue:7:17
-    ./root/root.cue:12:10
-    ./root/types.cue:26:20
     ./root/types.cue:26:23
 fail.both."16_IntList".types.IntList.1: conflicting values "bar" and int (mismatched types string and int):
     ./cuetest/all.cue:67:47
-    ./cuetest/fail_check.cue:7:12
-    ./cuetest/fail_check.cue:7:17
-    ./root/root.cue:12:10
-    ./root/types.cue:26:20
     ./root/types.cue:26:23
 fail.both."20_IntMap".types.IntMap.one: conflicting values "x" and int (mismatched types string and int):
     ./cuetest/all.cue:71:47
-    ./cuetest/fail_check.cue:7:12
-    ./cuetest/fail_check.cue:7:17
-    ./root/root.cue:12:10
     ./root/types.cue:28:29
 fail.both."20_IntMap".types.IntMap.two: conflicting values "y" and int (mismatched types string and int):
     ./cuetest/all.cue:71:59
-    ./cuetest/fail_check.cue:7:12
-    ./cuetest/fail_check.cue:7:17
-    ./root/root.cue:12:10
     ./root/types.cue:28:29
 fail.both."37_NonEmptyString".types.NonEmptyString: conflicting values string and 123 (mismatched types string and int):
-    ./cuetest/all.cue:20:1
-    ./cuetest/all.cue:27:2
-    ./cuetest/all.cue:28:56
     ./cuetest/all.cue:89:43
     ./root/types.cue:38:23
 fail.both."40_NonEmptyString".types.NonEmptyString: conflicting values string and [1,2,3] (mismatched types string and list):
-    ./cuetest/all.cue:20:1
-    ./cuetest/all.cue:27:2
-    ./cuetest/all.cue:28:56
     ./cuetest/all.cue:92:43
     ./root/types.cue:38:23
 fail.both."42_LinkedList".types.LinkedList.next: conflicting values "x" and {item?:_,next?:#linkedList} (mismatched types string and struct):
     ./cuetest/all.cue:94:50
-    ./cuetest/fail_check.cue:7:12
-    ./cuetest/fail_check.cue:7:17
-    ./root/root.cue:12:10
-    ./root/types.cue:40:23
     ./root/types.cue:43:14
-    ./root/types.cue:45:9
-fail.both.notList: conflicting values [1,2,3] and {doc?:_} (mismatched types list and struct):
+fail.both.notList: conflicting values [1,2,3] and {embedded2?:int} (mismatched types list and struct):
     ./cuetest/all.cue:5:24
-    ./cuetest/fail_check.cue:7:12
-    ./cuetest/fail_check.cue:7:17
-    ./root/root.cue:83:8
-fail.both.notString: conflicting values "not_a_struct" and {doc?:_} (mismatched types string and struct):
+    ./root/root.cue:95:2
+fail.both.notString: conflicting values "not_a_struct" and {embedded2?:int} (mismatched types string and struct):
     ./cuetest/all.cue:4:24
-    ./cuetest/fail_check.cue:7:12
-    ./cuetest/fail_check.cue:7:17
-    ./root/root.cue:83:8
+    ./root/root.cue:95:2
 fail.cue."11_Int8".types.Int8: invalid value 99999 (out of bound <=127):
     ./cuetest/all.cue:61:30
 fail.cue."12_Int8".types.Int8: invalid value -99999 (out of bound >=-128):
     ./cuetest/all.cue:62:30
-fail.cue."18_IntListClosed2".types.IntListClosed2: incompatible list lengths (2 and 4)
 fail.cue."29_NullOrStruct".types.NullOrStruct: 2 errors in empty disjunction:
 fail.cue."29_NullOrStruct".types.NullOrStruct: conflicting values "foo" and null (mismatched types string and null):
     ./cuetest/all.cue:81:43
-    ./cuetest/fail_check.cue:7:12
-    ./cuetest/fail_check.cue:7:17
-    ./root/root.cue:12:10
     ./root/types.cue:35:23
 fail.cue."29_NullOrStruct".types.NullOrStruct: conflicting values "foo" and {foo?:int} (mismatched types string and struct):
     ./cuetest/all.cue:81:43
-    ./cuetest/fail_check.cue:7:12
-    ./cuetest/fail_check.cue:7:17
-    ./root/root.cue:12:10
     ./root/types.cue:35:30
 fail.cue."32_NullOrString".types.NullOrString: 2 errors in empty disjunction:
 fail.cue."32_NullOrString".types.NullOrString: conflicting values 123 and null (mismatched types int and null):
     ./cuetest/all.cue:84:43
-    ./cuetest/fail_check.cue:7:12
-    ./cuetest/fail_check.cue:7:17
-    ./root/root.cue:12:10
     ./root/types.cue:36:23
 fail.cue."32_NullOrString".types.NullOrString: conflicting values 123 and string (mismatched types int and string):
     ./cuetest/all.cue:84:43
-    ./cuetest/fail_check.cue:7:12
-    ./cuetest/fail_check.cue:7:17
-    ./root/root.cue:12:10
     ./root/types.cue:36:30
 fail.cue."39_UniqueStrings".types.UniqueStrings: invalid value ["foo","foo"] (does not satisfy list.UniqueItems): equal value ("foo") at position 0 and 1:
     ./cuetest/all.cue:25:55
@@ -260,20 +216,13 @@ fail.cue."9_Uint".types.Uint: invalid value -34 (out of bound >=0):
 fail.cue.discBoth.discriminatorField: 2 errors in empty disjunction:
 fail.cue.discBoth.discriminatorField.one: field not allowed:
     ./cuetest/all.cue:14:43
-    ./cuetest/fail_check.cue:7:12
-    ./cuetest/fail_check.cue:7:17
-    ./root/root.cue:76:50
 fail.cue.discBoth.discriminatorField.two: field not allowed:
     ./cuetest/all.cue:14:51
-    ./cuetest/fail_check.cue:7:12
-    ./cuetest/fail_check.cue:7:17
-    ./root/root.cue:76:29
 fail.cue.isNotEqual.mustEqual2: conflicting values 8 and 99:
     ./cuetest/all.cue:11:37
     ./cuetest/all.cue:11:52
-    ./cuetest/fail_check.cue:7:12
-    ./cuetest/fail_check.cue:7:17
-    ./root/root.cue:79:15
+fail.cue."18_IntListClosed2".types.IntListClosed2: incompatible list lengths (2 and 4):
+    ./cuetest/all.cue:69:38
 fail.cue."34_NumericBounds".types.NumericBounds: invalid value 5555 (out of bound <100):
     ./root/types.cue:37:28
     ./cuetest/all.cue:86:43