-- in.cue --
t: true @test(eq, true)
t: !false
f: false @test(eq, false)
f: !t
e: true @test(err, code=eval, pos=[0:4, 1:4], contains="conflicting values")
e: !true
-- out/errors.txt --
[eval] e: conflicting values false and true:
    ./in.cue:5:4
    ./in.cue:6:4
-- out/eval/stats --
Leaks:  0
Freed:  4
Reused: 2
Allocs: 2
Retain: 0

Unifications: 4
Conjuncts:    7
Disjuncts:    4
