-- in.cue --
a: true && true   @test(eq, true)
b: true || false  @test(eq, true)
c: false == true  @test(eq, false)
d: false != true  @test(eq, true)
e: true & true    @test(eq, true)
f: true & false   @test(err, code=eval, pos=[0:4, 0:11])
-- out/errors.txt --
[eval] f: conflicting values false and true:
    ./in.cue:6:4
    ./in.cue:6:11
-- out/eval/stats --
Leaks:  0
Freed:  7
Reused: 5
Allocs: 2
Retain: 0

Unifications: 7
Conjuncts:    9
Disjuncts:    7
