-- in.cue --
a: 1 & int    @test(eq, 1)
b: number & 1 @test(eq, 1)
c: 1.0        @test(eq, 1.0)
c: float
d: int & float  @test(err, code=eval, pos=[0:4, 0:10])
e: "4" & string @test(eq, "4")
f: true         @test(eq, true)
f: bool
-- out/errors.txt --
[eval] d: conflicting values int and float (mismatched types int and float):
    ./in.cue:5:4
    ./in.cue:5:10
-- out/eval/stats --
Leaks:  0
Freed:  7
Reused: 5
Allocs: 2
Retain: 0

Unifications: 7
Conjuncts:    13
Disjuncts:    7
