github.com/solo-io/cue@v0.4.7/cue/testdata/fulleval/000_detect_conflicting_value.txtar (about)

     1  #name: detect conflicting value
     2  #evalFull
     3  -- in.cue --
     4  a: 8000.9
     5  a: 7080 | int
     6  -- out/def --
     7  a: _|_ // conflicting values 8000.9 and int (mismatched types float and int)
     8  -- out/legacy-debug --
     9  <0>{a: _|_((8000.9 & (int | int)):conflicting values 8000.9 and int (mismatched types float and int))}
    10  -- out/compile --
    11  --- in.cue
    12  {
    13    a: 8000.9
    14    a: (7080|int)
    15  }
    16  -- out/eval --
    17  Errors:
    18  a: 2 errors in empty disjunction:
    19  a: conflicting values 8000.9 and 7080 (mismatched types float and int):
    20      ./in.cue:1:4
    21      ./in.cue:2:4
    22  a: conflicting values 8000.9 and int (mismatched types float and int):
    23      ./in.cue:1:4
    24      ./in.cue:2:11
    25  
    26  Result:
    27  (_|_){
    28    // [eval]
    29    a: (_|_){
    30      // [eval] a: 2 errors in empty disjunction:
    31      // a: conflicting values 8000.9 and 7080 (mismatched types float and int):
    32      //     ./in.cue:1:4
    33      //     ./in.cue:2:4
    34      // a: conflicting values 8000.9 and int (mismatched types float and int):
    35      //     ./in.cue:1:4
    36      //     ./in.cue:2:11
    37    }
    38  }