1-- in.cue --
2expr: error1: {
3 a: 3
4 a: a + 1
5}
6expr: error2: {
7 a: a + 1
8 a: 3
9}
10list: error1: {
11 a: ["1", "2"]
12 a: a + ["3"]
13}
14
15list: error2: {
16 a: ["3"] + a
17 a: ["1", "2"]
18}
19
20selfEmbed: ok1: {
21 a: x
22 Y: x
23 x: {Y}
24}
25
26selfEmbed: ok2: {
27 Y: x.b
28 a: x
29 x: b: {Y}
30}
31
32selfEmbed: ok3: {
33 Y: x
34 a: x
35 x: {Y}
36}
37
38selfEmbed: ok4: {
39 a: x
40 x: {Y}
41 Y: x
42}
43
44selfEmbed: ok5: {
45 x: {Y}
46 a: x
47 Y: x
48}
49
50selfEmbed: ok6: {
51 x: b: {Y}
52 Y: x.b
53 a: x
54}
55
56
57disjSelf: ok1: {
58 #A: string | #A
59 x: #A
60}
61
62disjSelf: ok2: {
63 x: #A
64 #A: string | #A
65}
66
67disjSelf: ok3: {
68 #A: #A | string
69 x: #A
70}
71
72disjSelf: ok4: {
73 x: #A
74 #A: #A | string
75}
76
77disjEmbed: ok1: {
78 #A: string | {#A}
79 x: #A
80}
81
82disjEmbed: ok2: {
83 x: #A
84 #A: string | {#A}
85}
86
87disjEmbed: ok3: {
88 #A: {#A} | string
89 x: #A
90}
91
92disjEmbed: ok4: {
93 x: #A
94 #A: {#A} | string
95}
96
97// x and #A should yield the same result.
98disjList: _
99disjList: ok1: {
100 #A: string | [#A]
101 x: #A
102
103 y: x
104 y: [[[[string]]]]
105}
106
107disjList: ok2: {
108 x: #A
109 #A: string | [#A]
110}
111
112disjList: ok3: {
113 #A: [#A] | string
114 x: #A
115}
116
117disjList: ok4: {
118 x: #A
119 #A: [#A] | string
120}
121
122name: "foo"
123dynamicSelf: ok1: {
124 X=(name): string | X
125 x: X
126}
127
128dynamicSelf: ok2: {
129 x: X
130 X=(name): string | X
131}
132
133dynamicSelf: ok3: {
134 X=(name): X | string
135 x: X
136}
137
138dynamicSelf: ok4: {
139 x: X
140 X=(name): X | string
141}
142
143dynamicEmbed: ok1: {
144 X=(name): string | {X}
145 x: X
146}
147
148dynamicEmbed: ok2: {
149 x: X
150 X=(name): string | {X}
151}
152
153dynamicEmbed: ok3: {
154 X=(name): {X} | string
155 x: X
156}
157
158dynamicEmbed: ok4: {
159 x: X
160 X=(name): {X} | string
161}
162
163dynamicList: _
164dynamicList: ok1: {
165 X=(name): string | [X]
166 x: X
167
168 y: x
169 y: [[[[string]]]]
170}
171
172dynamicList: ok2: {
173 x: X
174 X=(name): string | [X]
175}
176
177dynamicList: ok3: {
178 X=(name): [X] | string
179 x: X
180}
181
182dynamicList: ok4: {
183 x: X
184 X=(name): [X] | string
185}
186
187dynamicPatternSelf: ok1: { X=[string]: string | X }
188dynamicPatternSelf: ok2: { X=[string]: X | string }
189dynamicPatternEmbed: ok1: { X=[string]: string | {X} }
190dynamicPatternEmbed: ok2: { X=[string]: {X} | string }
191dynamicPatternList: ok1: { X=[string]: string | [X] }
192dynamicPatternList: ok2: { X=[string]: [X] | string }
193
194valueSelf: ok1: {
195 y: X={string | X}
196 x: y
197}
198
199valueSelf: ok2: {
200 x: y
201 y: X={string | X}
202}
203
204valueSelf: ok3: {
205 y: X={X | string}
206 x: y
207}
208
209valueSelf: ok4: {
210 x: y
211 y: X={X | string}
212}
213
214valueEmbed: ok1: {
215 y: X={string | {X}}
216 x: y
217}
218
219valueEmbed: ok2: {
220 x: y
221 y: X={string | {X}}
222}
223
224valueEmbed: ok3: {
225 y: X={{X} | string}
226 x: y
227}
228
229valueEmbed: ok4: {
230 x: y
231 y: X={{X} | string}
232}
233
234valueList: ok1: {
235 y: X={string | [X]}
236 x: y
237}
238
239valueList: ok2: {
240 x: y
241 y: X={string | [X]}
242}
243
244valueList: ok3: {
245 y: X={[X] | string}
246 x: y
247}
248
249valueList: ok4: {
250 x: y
251 y: X={[X] | string}
252}
253
254// Issue #1729
255issue1729: t1: {
256 #x: { #x | {} }
257 x: #x & {}
258}
259
260issue1729: t2: {
261 x: #x & {}
262 #x: { #x | {} }
263}
264
265-- out/eval/stats --
266Leaks: 14
267Freed: 414
268Reused: 405
269Allocs: 23
270Retain: 27
271
272Unifications: 236
273Conjuncts: 686
274Disjuncts: 439
275-- out/eval --
276Errors:
277expr.error1.a: conflicting values 4 and 3:
278 ./in.cue:2:5
279 ./in.cue:3:5
280expr.error2.a: conflicting values 4 and 3:
281 ./in.cue:6:5
282 ./in.cue:7:5
283list.error1.a: element at index 2 not allowed by earlier comprehension or reference cycle
284list.error2.a: element at index 2 not allowed by earlier comprehension or reference cycle
285list.error2.a.0: conflicting values "3" and "1":
286 ./in.cue:15:6
287 ./in.cue:16:6
288list.error2.a.1: conflicting values "1" and "2":
289 ./in.cue:16:6
290 ./in.cue:16:11
291list.error2.a.1: conflicting values "3" and "2":
292 ./in.cue:15:6
293 ./in.cue:16:11
294list.error2.a.2: conflicting values "1" and "2":
295 ./in.cue:16:6
296 ./in.cue:16:11
297list.error2.a.2: conflicting values "3" and "2":
298 ./in.cue:15:6
299 ./in.cue:16:11
300
301Result:
302(_|_){
303 // [eval]
304 expr: (_|_){
305 // [eval]
306 error1: (_|_){
307 // [eval]
308 a: (_|_){
309 // [eval] expr.error1.a: conflicting values 4 and 3:
310 // ./in.cue:2:5
311 // ./in.cue:3:5
312 }
313 }
314 error2: (_|_){
315 // [eval]
316 a: (_|_){
317 // [eval] expr.error2.a: conflicting values 4 and 3:
318 // ./in.cue:6:5
319 // ./in.cue:7:5
320 }
321 }
322 }
323 list: (_|_){
324 // [eval]
325 error1: (_|_){
326 // [eval]
327 a: (_|_){
328 // [eval] list.error1.a: element at index 2 not allowed by earlier comprehension or reference cycle
329 0: (string){ "1" }
330 1: (string){ "2" }
331 2: (string){ "3" }
332 }
333 }
334 error2: (_|_){
335 // [eval]
336 a: (_|_){
337 // [eval] list.error2.a: element at index 2 not allowed by earlier comprehension or reference cycle
338 0: (_|_){
339 // [eval] list.error2.a.0: conflicting values "3" and "1":
340 // ./in.cue:15:6
341 // ./in.cue:16:6
342 }
343 1: (_|_){
344 // [eval] list.error2.a.1: conflicting values "1" and "2":
345 // ./in.cue:16:6
346 // ./in.cue:16:11
347 // list.error2.a.1: conflicting values "3" and "2":
348 // ./in.cue:15:6
349 // ./in.cue:16:11
350 }
351 2: (_|_){
352 // [eval] list.error2.a.2: conflicting values "1" and "2":
353 // ./in.cue:16:6
354 // ./in.cue:16:11
355 // list.error2.a.2: conflicting values "3" and "2":
356 // ./in.cue:15:6
357 // ./in.cue:16:11
358 }
359 }
360 }
361 }
362 selfEmbed: (struct){
363 ok1: (struct){
364 a: (struct){
365 }
366 Y: (struct){
367 }
368 x: (struct){
369 }
370 }
371 ok2: (struct){
372 Y: (struct){
373 }
374 a: (struct){
375 b: (struct){
376 }
377 }
378 x: (struct){
379 b: (struct){
380 }
381 }
382 }
383 ok3: (struct){
384 Y: (struct){
385 }
386 a: (struct){
387 }
388 x: (struct){
389 }
390 }
391 ok4: (struct){
392 a: (struct){
393 }
394 x: (struct){
395 }
396 Y: (struct){
397 }
398 }
399 ok5: (struct){
400 x: (struct){
401 }
402 a: (struct){
403 }
404 Y: (struct){
405 }
406 }
407 ok6: (struct){
408 x: (struct){
409 b: (struct){
410 }
411 }
412 Y: (struct){
413 }
414 a: (struct){
415 b: (struct){
416 }
417 }
418 }
419 }
420 disjSelf: (struct){
421 ok1: (struct){
422 #A: (_){ |((string){ string }, (_){ _ }) }
423 x: (_){ |((string){ string }, (_){ _ }) }
424 }
425 ok2: (struct){
426 x: (_){ |((string){ string }, (_){ _ }) }
427 #A: (_){ |((string){ string }, (_){ _ }) }
428 }
429 ok3: (struct){
430 #A: (_){ |((_){ _ }, (string){ string }) }
431 x: (_){ |((_){ _ }, (string){ string }) }
432 }
433 ok4: (struct){
434 x: (_){ |((_){ _ }, (string){ string }) }
435 #A: (_){ |((_){ _ }, (string){ string }) }
436 }
437 }
438 disjEmbed: (struct){
439 ok1: (struct){
440 #A: ((string|struct)){ |((string){ string }, (#struct){
441 }) }
442 x: ((string|struct)){ |((string){ string }, (#struct){
443 }) }
444 }
445 ok2: (struct){
446 x: ((string|struct)){ |((string){ string }, (#struct){
447 }) }
448 #A: ((string|struct)){ |((string){ string }, (#struct){
449 }) }
450 }
451 ok3: (struct){
452 #A: ((string|struct)){ |((#struct){
453 }, (string){ string }) }
454 x: ((string|struct)){ |((#struct){
455 }, (string){ string }) }
456 }
457 ok4: (struct){
458 x: ((string|struct)){ |((#struct){
459 }, (string){ string }) }
460 #A: ((string|struct)){ |((#struct){
461 }, (string){ string }) }
462 }
463 }
464 disjList: (struct){
465 ok1: (struct){
466 #A: (string){ string }
467 x: (string){ string }
468 y: (#list){
469 0: (#list){
470 0: (#list){
471 0: (#list){
472 0: (string){ string }
473 }
474 }
475 }
476 }
477 }
478 ok2: (struct){
479 x: (string){ string }
480 #A: (string){ string }
481 }
482 ok3: (struct){
483 #A: (string){ string }
484 x: (string){ string }
485 }
486 ok4: (struct){
487 x: (string){ string }
488 #A: (string){ string }
489 }
490 }
491 name: (string){ "foo" }
492 dynamicSelf: (struct){
493 ok1: (struct){
494 x: (_){ |((string){ string }, (_){ _ }) }
495 foo: (_){ |((string){ string }, (_){ _ }) }
496 }
497 ok2: (struct){
498 x: (_){ |((string){ string }, (_){ _ }) }
499 foo: (_){ |((string){ string }, (_){ _ }) }
500 }
501 ok3: (struct){
502 x: (_){ |((_){ _ }, (string){ string }) }
503 foo: (_){ |((_){ _ }, (string){ string }) }
504 }
505 ok4: (struct){
506 x: (_){ |((_){ _ }, (string){ string }) }
507 foo: (_){ |((_){ _ }, (string){ string }) }
508 }
509 }
510 dynamicEmbed: (struct){
511 ok1: (struct){
512 x: ((string|struct)){ |((string){ string }, (struct){
513 }) }
514 foo: ((string|struct)){ |((string){ string }, (struct){
515 }) }
516 }
517 ok2: (struct){
518 x: ((string|struct)){ |((string){ string }, (struct){
519 }) }
520 foo: ((string|struct)){ |((string){ string }, (struct){
521 }) }
522 }
523 ok3: (struct){
524 x: ((string|struct)){ |((struct){
525 }, (string){ string }) }
526 foo: ((string|struct)){ |((struct){
527 }, (string){ string }) }
528 }
529 ok4: (struct){
530 x: ((string|struct)){ |((struct){
531 }, (string){ string }) }
532 foo: ((string|struct)){ |((struct){
533 }, (string){ string }) }
534 }
535 }
536 dynamicList: (struct){
537 ok1: (struct){
538 x: (string){ string }
539 y: (#list){
540 0: (#list){
541 0: (#list){
542 0: (#list){
543 0: (string){ string }
544 }
545 }
546 }
547 }
548 foo: (string){ string }
549 }
550 ok2: (struct){
551 x: (string){ string }
552 foo: (string){ string }
553 }
554 ok3: (struct){
555 x: (string){ string }
556 foo: (string){ string }
557 }
558 ok4: (struct){
559 x: (string){ string }
560 foo: (string){ string }
561 }
562 }
563 dynamicPatternSelf: (struct){
564 ok1: (struct){
565 }
566 ok2: (struct){
567 }
568 }
569 dynamicPatternEmbed: (struct){
570 ok1: (struct){
571 }
572 ok2: (struct){
573 }
574 }
575 dynamicPatternList: (struct){
576 ok1: (struct){
577 }
578 ok2: (struct){
579 }
580 }
581 valueSelf: (struct){
582 ok1: (struct){
583 y: ((string|struct)){ |((string){ string }, (struct){
584 }) }
585 x: ((string|struct)){ |((string){ string }, (struct){
586 }) }
587 }
588 ok2: (struct){
589 x: ((string|struct)){ |((string){ string }, (struct){
590 }) }
591 y: ((string|struct)){ |((string){ string }, (struct){
592 }) }
593 }
594 ok3: (struct){
595 y: ((string|struct)){ |((struct){
596 }, (string){ string }) }
597 x: ((string|struct)){ |((struct){
598 }, (string){ string }) }
599 }
600 ok4: (struct){
601 x: ((string|struct)){ |((struct){
602 }, (string){ string }) }
603 y: ((string|struct)){ |((struct){
604 }, (string){ string }) }
605 }
606 }
607 valueEmbed: (struct){
608 ok1: (struct){
609 y: ((string|struct)){ |((string){ string }, (struct){
610 }) }
611 x: ((string|struct)){ |((string){ string }, (struct){
612 }) }
613 }
614 ok2: (struct){
615 x: ((string|struct)){ |((string){ string }, (struct){
616 }) }
617 y: ((string|struct)){ |((string){ string }, (struct){
618 }) }
619 }
620 ok3: (struct){
621 y: ((string|struct)){ |((struct){
622 }, (string){ string }) }
623 x: ((string|struct)){ |((struct){
624 }, (string){ string }) }
625 }
626 ok4: (struct){
627 x: ((string|struct)){ |((struct){
628 }, (string){ string }) }
629 y: ((string|struct)){ |((struct){
630 }, (string){ string }) }
631 }
632 }
633 valueList: (struct){
634 ok1: (struct){
635 y: (string){ string }
636 x: (string){ string }
637 }
638 ok2: (struct){
639 x: (string){ string }
640 y: (string){ string }
641 }
642 ok3: (struct){
643 y: (string){ string }
644 x: (string){ string }
645 }
646 ok4: (struct){
647 x: (string){ string }
648 y: (string){ string }
649 }
650 }
651 issue1729: (struct){
652 t1: (struct){
653 #x: (#struct){
654 }
655 x: (#struct){
656 }
657 }
658 t2: (struct){
659 x: (#struct){
660 }
661 #x: (#struct){
662 }
663 }
664 }
665}
666-- out/compile --
667--- in.cue
668{
669 expr: {
670 error1: {
671 a: 3
672 a: (〈0;a〉 + 1)
673 }
674 }
675 expr: {
676 error2: {
677 a: (〈0;a〉 + 1)
678 a: 3
679 }
680 }
681 list: {
682 error1: {
683 a: [
684 "1",
685 "2",
686 ]
687 a: (〈0;a〉 + [
688 "3",
689 ])
690 }
691 }
692 list: {
693 error2: {
694 a: ([
695 "3",
696 ] + 〈0;a〉)
697 a: [
698 "1",
699 "2",
700 ]
701 }
702 }
703 selfEmbed: {
704 ok1: {
705 a: 〈0;x〉
706 Y: 〈0;x〉
707 x: {
708 〈1;Y〉
709 }
710 }
711 }
712 selfEmbed: {
713 ok2: {
714 Y: 〈0;x〉.b
715 a: 〈0;x〉
716 x: {
717 b: {
718 〈2;Y〉
719 }
720 }
721 }
722 }
723 selfEmbed: {
724 ok3: {
725 Y: 〈0;x〉
726 a: 〈0;x〉
727 x: {
728 〈1;Y〉
729 }
730 }
731 }
732 selfEmbed: {
733 ok4: {
734 a: 〈0;x〉
735 x: {
736 〈1;Y〉
737 }
738 Y: 〈0;x〉
739 }
740 }
741 selfEmbed: {
742 ok5: {
743 x: {
744 〈1;Y〉
745 }
746 a: 〈0;x〉
747 Y: 〈0;x〉
748 }
749 }
750 selfEmbed: {
751 ok6: {
752 x: {
753 b: {
754 〈2;Y〉
755 }
756 }
757 Y: 〈0;x〉.b
758 a: 〈0;x〉
759 }
760 }
761 disjSelf: {
762 ok1: {
763 #A: (string|〈0;#A〉)
764 x: 〈0;#A〉
765 }
766 }
767 disjSelf: {
768 ok2: {
769 x: 〈0;#A〉
770 #A: (string|〈0;#A〉)
771 }
772 }
773 disjSelf: {
774 ok3: {
775 #A: (〈0;#A〉|string)
776 x: 〈0;#A〉
777 }
778 }
779 disjSelf: {
780 ok4: {
781 x: 〈0;#A〉
782 #A: (〈0;#A〉|string)
783 }
784 }
785 disjEmbed: {
786 ok1: {
787 #A: (string|{
788 〈1;#A〉
789 })
790 x: 〈0;#A〉
791 }
792 }
793 disjEmbed: {
794 ok2: {
795 x: 〈0;#A〉
796 #A: (string|{
797 〈1;#A〉
798 })
799 }
800 }
801 disjEmbed: {
802 ok3: {
803 #A: ({
804 〈1;#A〉
805 }|string)
806 x: 〈0;#A〉
807 }
808 }
809 disjEmbed: {
810 ok4: {
811 x: 〈0;#A〉
812 #A: ({
813 〈1;#A〉
814 }|string)
815 }
816 }
817 disjList: _
818 disjList: {
819 ok1: {
820 #A: (string|[
821 〈1;#A〉,
822 ])
823 x: 〈0;#A〉
824 y: 〈0;x〉
825 y: [
826 [
827 [
828 [
829 string,
830 ],
831 ],
832 ],
833 ]
834 }
835 }
836 disjList: {
837 ok2: {
838 x: 〈0;#A〉
839 #A: (string|[
840 〈1;#A〉,
841 ])
842 }
843 }
844 disjList: {
845 ok3: {
846 #A: ([
847 〈1;#A〉,
848 ]|string)
849 x: 〈0;#A〉
850 }
851 }
852 disjList: {
853 ok4: {
854 x: 〈0;#A〉
855 #A: ([
856 〈1;#A〉,
857 ]|string)
858 }
859 }
860 name: "foo"
861 dynamicSelf: {
862 ok1: {
863 〈2;name〉: (string|〈0;(〈2;name〉)〉)
864 x: 〈0;(〈2;name〉)〉
865 }
866 }
867 dynamicSelf: {
868 ok2: {
869 x: 〈0;(〈2;name〉)〉
870 〈2;name〉: (string|〈0;(〈2;name〉)〉)
871 }
872 }
873 dynamicSelf: {
874 ok3: {
875 〈2;name〉: (〈0;(〈2;name〉)〉|string)
876 x: 〈0;(〈2;name〉)〉
877 }
878 }
879 dynamicSelf: {
880 ok4: {
881 x: 〈0;(〈2;name〉)〉
882 〈2;name〉: (〈0;(〈2;name〉)〉|string)
883 }
884 }
885 dynamicEmbed: {
886 ok1: {
887 〈2;name〉: (string|{
888 〈1;(〈2;name〉)〉
889 })
890 x: 〈0;(〈2;name〉)〉
891 }
892 }
893 dynamicEmbed: {
894 ok2: {
895 x: 〈0;(〈2;name〉)〉
896 〈2;name〉: (string|{
897 〈1;(〈2;name〉)〉
898 })
899 }
900 }
901 dynamicEmbed: {
902 ok3: {
903 〈2;name〉: ({
904 〈1;(〈2;name〉)〉
905 }|string)
906 x: 〈0;(〈2;name〉)〉
907 }
908 }
909 dynamicEmbed: {
910 ok4: {
911 x: 〈0;(〈2;name〉)〉
912 〈2;name〉: ({
913 〈1;(〈2;name〉)〉
914 }|string)
915 }
916 }
917 dynamicList: _
918 dynamicList: {
919 ok1: {
920 〈2;name〉: (string|[
921 〈1;(〈2;name〉)〉,
922 ])
923 x: 〈0;(〈2;name〉)〉
924 y: 〈0;x〉
925 y: [
926 [
927 [
928 [
929 string,
930 ],
931 ],
932 ],
933 ]
934 }
935 }
936 dynamicList: {
937 ok2: {
938 x: 〈0;(〈2;name〉)〉
939 〈2;name〉: (string|[
940 〈1;(〈2;name〉)〉,
941 ])
942 }
943 }
944 dynamicList: {
945 ok3: {
946 〈2;name〉: ([
947 〈1;(〈2;name〉)〉,
948 ]|string)
949 x: 〈0;(〈2;name〉)〉
950 }
951 }
952 dynamicList: {
953 ok4: {
954 x: 〈0;(〈2;name〉)〉
955 〈2;name〉: ([
956 〈1;(〈2;name〉)〉,
957 ]|string)
958 }
959 }
960 dynamicPatternSelf: {
961 ok1: {
962 [string]: (string|〈0;(〈0;-〉)〉)
963 }
964 }
965 dynamicPatternSelf: {
966 ok2: {
967 [string]: (〈0;(〈0;-〉)〉|string)
968 }
969 }
970 dynamicPatternEmbed: {
971 ok1: {
972 [string]: (string|{
973 〈1;(〈0;-〉)〉
974 })
975 }
976 }
977 dynamicPatternEmbed: {
978 ok2: {
979 [string]: ({
980 〈1;(〈0;-〉)〉
981 }|string)
982 }
983 }
984 dynamicPatternList: {
985 ok1: {
986 [string]: (string|[
987 〈1;(〈0;-〉)〉,
988 ])
989 }
990 }
991 dynamicPatternList: {
992 ok2: {
993 [string]: ([
994 〈1;(〈0;-〉)〉,
995 ]|string)
996 }
997 }
998 valueSelf: {
999 ok1: {
1000 y: {
1001 (string|〈1〉)
1002 }
1003 x: 〈0;y〉
1004 }
1005 }
1006 valueSelf: {
1007 ok2: {
1008 x: 〈0;y〉
1009 y: {
1010 (string|〈1〉)
1011 }
1012 }
1013 }
1014 valueSelf: {
1015 ok3: {
1016 y: {
1017 (〈1〉|string)
1018 }
1019 x: 〈0;y〉
1020 }
1021 }
1022 valueSelf: {
1023 ok4: {
1024 x: 〈0;y〉
1025 y: {
1026 (〈1〉|string)
1027 }
1028 }
1029 }
1030 valueEmbed: {
1031 ok1: {
1032 y: {
1033 (string|{
1034 〈2〉
1035 })
1036 }
1037 x: 〈0;y〉
1038 }
1039 }
1040 valueEmbed: {
1041 ok2: {
1042 x: 〈0;y〉
1043 y: {
1044 (string|{
1045 〈2〉
1046 })
1047 }
1048 }
1049 }
1050 valueEmbed: {
1051 ok3: {
1052 y: {
1053 ({
1054 〈2〉
1055 }|string)
1056 }
1057 x: 〈0;y〉
1058 }
1059 }
1060 valueEmbed: {
1061 ok4: {
1062 x: 〈0;y〉
1063 y: {
1064 ({
1065 〈2〉
1066 }|string)
1067 }
1068 }
1069 }
1070 valueList: {
1071 ok1: {
1072 y: {
1073 (string|[
1074 〈2〉,
1075 ])
1076 }
1077 x: 〈0;y〉
1078 }
1079 }
1080 valueList: {
1081 ok2: {
1082 x: 〈0;y〉
1083 y: {
1084 (string|[
1085 〈2〉,
1086 ])
1087 }
1088 }
1089 }
1090 valueList: {
1091 ok3: {
1092 y: {
1093 ([
1094 〈2〉,
1095 ]|string)
1096 }
1097 x: 〈0;y〉
1098 }
1099 }
1100 valueList: {
1101 ok4: {
1102 x: 〈0;y〉
1103 y: {
1104 ([
1105 〈2〉,
1106 ]|string)
1107 }
1108 }
1109 }
1110 issue1729: {
1111 t1: {
1112 #x: {
1113 (〈1;#x〉|{})
1114 }
1115 x: (〈0;#x〉 & {})
1116 }
1117 }
1118 issue1729: {
1119 t2: {
1120 x: (〈0;#x〉 & {})
1121 #x: {
1122 (〈1;#x〉|{})
1123 }
1124 }
1125 }
1126}
View as plain text