github.com/solo-io/cue@v0.4.7/cue/testdata/cycle/025_cannot_resolve_references_that_would_be_ambiguous.txtar (about)

     1  # DO NOT EDIT; generated by go run testdata/gen.go
     2  #
     3  #name: cannot resolve references that would be ambiguous
     4  #evalFull
     5  -- in.cue --
     6  a1: *0 | 1
     7  a1: a3 - a2
     8  a2: *0 | 1
     9  a2: a3 - a1
    10  a3: 1
    11  
    12  b1: (*0 | 1) & b2
    13  b2: (0 | *1) & b1
    14  
    15  c1: (*{a: 1} | {b: 1}) & c2
    16  c2: (*{a: 2} | {b: 2}) & c1
    17  -- out/def --
    18  a1: (*0 | 1) & a3-a2
    19  a3: 1
    20  a2: (*0 | 1) & a3-a1
    21  b1: (*0 | 1) & b2
    22  b2: (0 | *1) & b1
    23  c1: (*{
    24  	a: 1
    25  } | {
    26  	b: 1
    27  }) & c2
    28  c2: (*{
    29  	a: 2
    30  } | {
    31  	b: 2
    32  }) & c1
    33  -- out/legacy-debug --
    34  <0>{a1: ((*0 | 1) & (<1>.a3 - <1>.a2)), a3: 1, a2: ((*0 | 1) & (<1>.a3 - <1>.a1)), b1: (0 | 1), b2: (0 | 1), c1: (<2>{a: 1, b: 2} | <3>{a: 2, b: 1}), c2: (<4>{a: 2, b: 1} | <5>{a: 1, b: 2})}
    35  -- out/compile --
    36  --- in.cue
    37  {
    38    a1: (*0|1)
    39    a1: (〈0;a3〉 - 〈0;a2〉)
    40    a2: (*0|1)
    41    a2: (〈0;a3〉 - 〈0;a1〉)
    42    a3: 1
    43    b1: ((*0|1) & 〈0;b2〉)
    44    b2: ((0|*1) & 〈0;b1〉)
    45    c1: ((*{
    46      a: 1
    47    }|{
    48      b: 1
    49    }) & 〈0;c2〉)
    50    c2: ((*{
    51      a: 2
    52    }|{
    53      b: 2
    54    }) & 〈0;c1〉)
    55  }
    56  -- out/eval --
    57  (struct){
    58    a1: (_|_){
    59      // [incomplete] a1: incomplete cause disjunction
    60    }
    61    a2: (_|_){
    62      // [incomplete] a2: incomplete cause disjunction
    63    }
    64    a3: (int){ 1 }
    65    b1: (int){ |((int){ 0 }, (int){ 1 }) }
    66    b2: (int){ |((int){ 0 }, (int){ 1 }) }
    67    c1: (struct){ |((struct){
    68        a: (int){ 1 }
    69        b: (int){ 2 }
    70      }, (struct){
    71        b: (int){ 1 }
    72        a: (int){ 2 }
    73      }) }
    74    c2: (struct){ |((struct){
    75        a: (int){ 2 }
    76        b: (int){ 1 }
    77      }, (struct){
    78        b: (int){ 2 }
    79        a: (int){ 1 }
    80      }) }
    81  }