| # DO NOT EDIT; generated by go run testdata/gen.go |
| # |
| #name: comparison against bottom |
| #evalFull |
| -- in.cue -- |
| a: _|_ == _|_ |
| b: err == 1 & 2 // not a literal error, so not allowed |
| c: err == _|_ // allowed |
| d: err != _|_ // allowed |
| e: err != 1 & 3 |
| // z: err == err // TODO: should infer to be true? |
| f: ({a: 1} & {a: 2}) == _|_ |
| g: ({a: 1} & {b: 2}) == _|_ |
| h: _|_ == ({a: 1} & {a: 2}) |
| i: _|_ == ({a: 1} & {b: 2}) |
| |
| err: 1 & 2 |
| -- out/def -- |
| a: true |
| b: _|_ // conflicting values 1 and 2 |
| err: _|_ // conflicting values 1 and 2 |
| c: true |
| d: false |
| e: _|_ // conflicting values 1 and 2 |
| // z: err == err // TODO: should infer to be true? |
| f: true |
| g: false |
| h: true |
| i: false |
| -- out/legacy-debug -- |
| <0>{a: true, b: _|_((1 & 2):conflicting values 1 and 2), err: _|_((1 & 2):conflicting values 1 and 2), c: true, d: false, e: _|_((1 & 2):conflicting values 1 and 2), f: true, g: false, h: true, i: false} |
