# Tests that a float value conflicting with a disjunction of an int value and int type
# reports an empty disjunction error. Issue: regression test for early evaluator behavior.
-- in.cue --
a: 8000.9
a: 7080 | int @test(err, code=eval,
	suberr=(code=eval, contains="conflicting values", args=[8000.9, 7080], pos=[in.cue:1:4, in.cue:2:4]),
	suberr=(code=eval, contains="conflicting values", args=[8000.9, int], pos=[in.cue:1:4, in.cue:2:11]))
-- out/errors.txt --
[eval] a: 2 errors in empty disjunction:
a: conflicting values 8000.9 and 7080 (mismatched types float and int):
    ./in.cue:1:4
    ./in.cue:2:4
a: conflicting values 8000.9 and int (mismatched types float and int):
    ./in.cue:1:4
    ./in.cue:2:11
-- out/eval/stats --
Leaks:  0
Freed:  4
Reused: 1
Allocs: 3
Retain: 0

Unifications: 2
Conjuncts:    5
Disjuncts:    4
