1#name: detect conflicting value
2#evalFull
3-- in.cue --
4a: 8000.9
5a: 7080 | int
6-- out/def --
7a: _|_ // 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 --
17Errors:
18a: 2 errors in empty disjunction:
19a: conflicting values 8000.9 and 7080 (mismatched types float and int):
20    ./in.cue:1:4
21    ./in.cue:2:4
22a: conflicting values 8000.9 and int (mismatched types float and int):
23    ./in.cue:1:4
24    ./in.cue:2:11
25
26Result:
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}
39